From 2614ae0c9cbe8763d87381736df8277beb5f55a1 Mon Sep 17 00:00:00 2001 From: Landon Curt Noll Date: Sun, 2 Apr 2023 16:57:17 -0700 Subject: [PATCH] exclude a top level /NOTES directory Our /NOTES directory contains internal notes that, while useful to ourselves, should NOT be part of the main repo. This allows us to have various files as useful notes without cluttering up the git repo tree. --- .gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.gitignore b/.gitignore index 9c7999ec1..37070d112 100644 --- a/.gitignore +++ b/.gitignore @@ -34,4 +34,5 @@ /bugs.html /faq.html mkentry +/NOTES iocccsize