Update of .gitignore w.r.t. moved driver script.

marek-trtik · marek-trtik · commit 2235269a5260 · 2017-09-22T11:23:39.000+01:00
diff --git a/.gitignore b/.gitignore
@@ -11,8 +11,8 @@ src/goto-analyzer/taint_driver_scripts/.idea/*
 /*.creator.user
 /*.files
 /*.includes
-security-scanner/.idea
-security-scanner/*.pyc
+driver/.idea
+driver/*.pyc
 build
 dist
 
