aboutsummaryrefslogtreecommitdiff
path: root/envelope
diff options
context:
space:
mode:
authortomsmeding <tom.smeding@gmail.com>2016-10-10 16:32:48 +0200
committertomsmeding <tom.smeding@gmail.com>2016-10-10 16:32:48 +0200
commitc33f462475a30ad560d0153a006796f47563d760 (patch)
tree2f19ce047e57d2ca9ef36ec13baea1a8d6459941 /envelope
parentcbea7bc041e5c14670042e3e52f0786f9561af05 (diff)
AGAIN remove envelope executable from repo
Diffstat (limited to 'envelope')
-rw-r--r--envelope/.gitignore1
-rwxr-xr-xenvelope/envelopebin121056 -> 0 bytes
2 files changed, 1 insertions, 0 deletions
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
--- a/envelope/envelope
+++ /dev/null
Binary files differ