diff options
| author | tomsmeding <tom.smeding@gmail.com> | 2016-10-10 16:32:48 +0200 |
|---|---|---|
| committer | tomsmeding <tom.smeding@gmail.com> | 2016-10-10 16:32:48 +0200 |
| commit | c33f462475a30ad560d0153a006796f47563d760 (patch) | |
| tree | 2f19ce047e57d2ca9ef36ec13baea1a8d6459941 | |
| parent | cbea7bc041e5c14670042e3e52f0786f9561af05 (diff) | |
AGAIN remove envelope executable from repo
| -rw-r--r-- | envelope/.gitignore | 1 | ||||
| -rwxr-xr-x | envelope/envelope | bin | 121056 -> 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 Binary files differdeleted file mode 100755 index 599c263..0000000 --- a/envelope/envelope +++ /dev/null |