?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Merge branch 'master' of /home/pl/chr
[chr.git] / .cvsignore
blob9d172861f7f84c732eaa5c4fe8601b54248b0503
1 Makefile
2 config.h
3 config.log
4 config.status
5 autom4te.cache
6 chr.pl
7 chr_translate.pl
8 chr_translate_bootstrap1.pl
9 chr_translate_bootstrap2.pl
10 guard_entailment.pl
copy of chr