good template snapshot

diff --git a/.gitignore b/.gitignore
index 5af1856..e68efb1 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,7 +1,6 @@
 #note also the .gitignore files in the tool and developer directories and any
 # other directory that might have one.
 
-temporary/
 *~
 a.out
 

diff --git a/developer/temporary/.gitignore b/developer/temporary/.gitignore
new file mode 100644 (file)
index 0000000..120f485
--- /dev/null
+++ b/developer/temporary/.gitignore
@@ -0,0 +1,2 @@
+*
+!/.gitignore

diff --git a/executor/keep_empty_dirs b/executor/keep_empty_dirs
old mode 100644 (file)
new mode 100755 (executable)

diff --git a/temporary/.gitignore b/temporary/.gitignore
new file mode 100644 (file)
index 0000000..120f485
--- /dev/null
+++ b/temporary/.gitignore
@@ -0,0 +1,2 @@
+*
+!/.gitignore