From c33f462475a30ad560d0153a006796f47563d760 Mon Sep 17 00:00:00 2001 From: tomsmeding Date: Mon, 10 Oct 2016 16:32:48 +0200 Subject: AGAIN remove envelope executable from repo --- envelope/.gitignore | 1 + 1 file changed, 1 insertion(+) (limited to 'envelope/.gitignore') diff --git a/envelope/.gitignore b/envelope/.gitignore index 68a39b8..0b973ff 100644 --- a/envelope/.gitignore +++ b/envelope/.gitignore @@ -1 +1,2 @@ .input.testsuite +envelope -- cgit v1.2.3-54-g00ecf