Add extra git ignored files/dirs

apache · Jul 18, 2018 · a08b0b9 · a08b0b9
1 parent 9bda2a1
commit a08b0b9
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -35,8 +35,15 @@ docs/html
 docs/latex
 cscope.*
 *.tags
-stlink.log 
+stlink.log
+openocd.log
+*.pem
 
 # Prevent accidental checkins of personal targets.  If you need to commit a
 # target, specify the -f option for "git add".
 targets
+
+# Generated directories - pubkey sources, coverity data, etc
+/keys/
+/repos/
+/cov-int/