From: Thomas Walker Lynch <xtujpz@reasoningtechnology.com>
Date: Mon, 29 Jul 2024 08:02:10 +0000 (+0000)
Subject: does this get the missing tool directory?
X-Git-Url: https://git.reasoningtechnology.com/usr/lib/python2.7/dummy_thread.py?a=commitdiff_plain;h=5e2ffb555da80010158715aebcb4008c4f2606ad;p=GQL-to-Cypher

does this get the missing tool directory?
---

diff --git a/.gitignore b/.gitignore
index de8f7ec..5af1856 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1,3 +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/find b/find
new file mode 100644
index 0000000..e69de29