Rename parsing/ to src/
[goals.git] / .gitignore
1 *~
2 *.cmi
3 *.cmo
4 *.cmx
5 *.cma
6 *.cmxa
7 *.o
8
9 .depend
10 Goalfile
11 Makefile
12 config.log
13
14 /aclocal.m4
15 /autom4te.cache/
16 /configure
17 /config.h
18 /config.h.in
19 /config.status
20 /install-sh
21 /src/goals
22 /src/lexer.ml
23 /src/parser.conflicts
24 /src/parser.ml
25 /src/parser.mli
26 /src/stamp-parser
27 /stamp-h