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 /envelope/.gitignore | |
| parent | cbea7bc041e5c14670042e3e52f0786f9561af05 (diff) | |
AGAIN remove envelope executable from repo
Diffstat (limited to 'envelope/.gitignore')
| -rw-r--r-- | envelope/.gitignore | 1 |
1 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 |