Merge branch 'master' of /home/dav/yacasl2
[YACASL2.git] / .gitignore
1 *.o
2 1.txt
3 report.txt
4 diff.txt
5 casl2
6 comet2
7 test.log
8 *~