add a .gitignore to prevent double results when searching with editors (

JuliaLang#45931)
pcjentsch · Aug 18, 2022 · 6f87624 · 6f87624
1 parent 9255e87
commit 6f87624
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/.gitignore b/src/.gitignore
@@ -21,6 +21,7 @@
 /julia_version.h
 /flisp/host
 /support/host
+/base/
 
 # Clang compilation database
 /compile_commands*.json