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 + envelope/envelope | Bin 121056 -> 0 bytes 2 files changed, 1 insertion(+) delete mode 100755 envelope/envelope (limited to 'envelope') diff --git a/envelope/.gitignore b/envelope/.gitignore index 68a39b8..0b973ff 100644 --- a/envelope/.gitignore +++ b/envelope/.gitignore @@ -1 +1,2 @@ .input.testsuite +envelope diff --git a/envelope/envelope b/envelope/envelope deleted file mode 100755 index 599c263..0000000 Binary files a/envelope/envelope and /dev/null differ -- cgit v1.2.3-70-g09d2