Add externals to the git ignore

ESCOMP · May 8, 2023 · 977260a · 977260a
1 parent 00414e1
commit 977260a
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -31,5 +31,9 @@
 *.out
 *.app
 
+# Externals
+fox
+share/genf90
+
 # ignore pycache
 __pycache__