Merge branch 'master' of /home/pl/chr
[chr.git] / .gitignore
blob6baa34313a8db495d8fb3123595db1b95d45b1ce
1 *~
2 *.o
3 *.so
4 *.obj
5 *.dll
6 Makefile
7 chr.pl
8 chr_translate.pl
9 chr_translate_bootstrap1.pl
10 chr_translate_bootstrap2.pl
11 guard_entailment.pl
12 config.h
13 config.h.in
14 config.log
15 config.status
16 configure
17 autom4te.cache