kconfig2sat: Fix single-diff problem generation

[linux-conf-perf.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index b3c0b2b4fd40ed8413a59c5cd3b607cfba91e80c..c99a18ff579b4b7b2aa544c1450a427349e1271c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -1,10 +1,13 @@
 *~
 .*
 !.gitignore
+!.novaboot
+!.dir-locals.el
 
 *.o
 
 jobfiles
+configurations
 output
 log
 result