PPI: fixed module destruction on shutdown if EventManger is already destroyed (like...

[senf.git] / senf / .gitignore

diff --git a/senf/.gitignore b/senf/.gitignore
index d215d6d..1f1b46d 100644 (file)
--- a/senf/.gitignore
+++ b/senf/.gitignore
@@ -1,2 +1,3 @@
-/Ext/*/
 /local_config.hh
+/autoconf.hh
+/Version.hh