more stuff to ignore

2015-10-22 11:50:15 +01:00 · 2015-10-22 11:50:15 +01:00 · aaa9aa2b7b
commit aaa9aa2b7b
parent 2d1c11c42f
1 changed files with 6 additions and 21 deletions
--- a/.gitignore
+++ b/.gitignore
@ -62,35 +62,20 @@ cmake_install.cmake
 cmake_clean.cmake
 *.build
 Makefile
-
 C/myabsmi.c
-
 *.ctags#
-
 *.hs
-
-packages/bdd/CMakeFiles/CMakeDirectoryInformation.cmake
-
+CMakeFiles
 *.make
-
 C/new_iop.c
-
 *.pdf
-
 *.log
-
 *.orig
-
 JIT/HPP/#JIT_In#
-
 *.text
-
-CMakeLists.txt.user.378dfb0
-
-CMakeLists.txt.user.4d738ef
-
-CMakeLists.txt.user.c65360d
-
+yap
+*startup.yss
+*cmake_files
 C/pl-yap.c
-
-CMakeLists.txt.user
+GitSHA1.c
+CmakeLists.txt.*