partial-repo.sh has a -i flag (incremental) to avoid doing the stuff over again
[build.git] / .gitignore
index f299d1c..c5efa20 100644 (file)
@@ -1,3 +1,5 @@
 *.norm
 infra.key
 infra.png
+TAGS
+.du