From 5e2ffb555da80010158715aebcb4008c4f2606ad Mon Sep 17 00:00:00 2001 From: Thomas Walker Lynch Date: Mon, 29 Jul 2024 08:02:10 +0000 Subject: [PATCH] does this get the missing tool directory? --- .gitignore | 3 +++ find | 0 2 files changed, 3 insertions(+) create mode 100644 find 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 -- 2.20.1