Better gitignores

zjwegert · Mar 12, 2024 · 7907edb · 7907edb
1 parent ab8127a
commit 7907edb
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 3 deletions.
diff --git a/.gitignore b/.gitignore
@@ -19,8 +19,6 @@ deps/src/
 # Build artifacts for creating documentation generated by the Documenter package
 docs/build/
 docs/site/
-Results/*
-results/*
 
 # File generated by Pkg, the package manager, based on a corresponding Project.toml
 # It records a fixed state of all packages used by the project. As such, it should not be

diff --git a/results/.gitignore b/results/.gitignore
@@ -0,0 +1,2 @@
+*
+!.gitignore
diff --git a/results/empty b/results/empty