Extension support

[senf.git] / senf / .gitignore

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