Remove from (build and) repository (obviously) unused headers
[splint-patched.git] / .gitignore
blob40caffa8e25734c102961345260565fd268c00b4
1 # CVS default ignores begin
2 tags
3 TAGS
4 .make.state
5 .nse_depinfo
6 *~
7 #*
8 .#*
9 ,*
10 _$*
12 *.old
13 *.bak
14 *.BAK
15 *.orig
16 *.rej
17 .del-*
18 *.a
19 *.olb
20 *.o
21 *.obj
22 *.so
23 *.exe
24 *.Z
25 *.elc
26 *.ln
27 core
28 # CVS default ignores end