summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorMarcello Stanisci <marcello.stanisci@inria.fr>2017-04-28 11:47:37 +0200
committerMarcello Stanisci <marcello.stanisci@inria.fr>2017-04-28 11:47:37 +0200
commitc4231013e5759cfd0490eb8e6ec1abee768a98c5 (patch)
tree7e39b53b819cf646de765feef05b63ad320aea6f /.gitignore
parent466dcea5cc46f47873a602656cb2eb70e390f3a2 (diff)
downloadmerchant-c4231013e5759cfd0490eb8e6ec1abee768a98c5.tar.gz
merchant-c4231013e5759cfd0490eb8e6ec1abee768a98c5.tar.bz2
merchant-c4231013e5759cfd0490eb8e6ec1abee768a98c5.zip
NOT using setuptools' "scripts" keyword as it
failed to set execution permissions on deployed files
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 6982c643..4cab3d07 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,5 +1,6 @@
*~
*Makefile.in
+!src/mitm/*.in
*Makefile
aclocal.m4
autom4te.cache