?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Replaced loading hprolog by loading library(dialect/hprolog)
[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
copy of chr