From 531d84f6223b6bd0c0c8888274a59aff51212f5b Mon Sep 17 00:00:00 2001 From: emeric Date: Wed, 29 Jul 2015 22:52:29 +0200 Subject: [PATCH] Removed unnecessary directory --- include/.empty | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 include/.empty diff --git a/include/.empty b/include/.empty deleted file mode 100644 index e69de29b..00000000