From c4231013e5759cfd0490eb8e6ec1abee768a98c5 Mon Sep 17 00:00:00 2001
From: Marcello Stanisci <marcello.stanisci@inria.fr>
Date: Fri, 28 Apr 2017 11:47:37 +0200
Subject: NOT using setuptools' "scripts" keyword as it failed to set execution
 permissions on deployed files

---
 .gitignore | 1 +
 1 file changed, 1 insertion(+)

(limited to '.gitignore')

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
-- 
cgit v1.2.3