Update .gitignore

JuliaLang · Jul 4, 2023 · 5aad812 · 5aad812
1 parent 5af75f7
commit 5aad812
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,4 +1,6 @@
 /Manifest.toml
 /tools/pkgs
+/tools/pkg_tars
 /tools/logs.txt
+/docs/build
 *.cov