don’t include non chache files in repo

in other words, make »git clean -fdx« safe
rescala-lang · Nov 17, 2023 · 78d2557 · 78d2557
1 parent 2cb211c
commit 78d2557
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 5 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,7 +2,6 @@
 .bsp/
 .idea/
 .metals/
-Local/
 metals.sbt
 node_modules/
 package-lock.json

diff --git a/Modules/Microbenchmarks/.gitignore b/Modules/Microbenchmarks/.gitignore