.depend
Goalfile
Makefile
.depend
Goalfile
Makefile
/aclocal.m4
/autom4te.cache/
/aclocal.m4
/autom4te.cache/
/configure
/config.h
/config.h.in
/configure
/config.h
/config.h.in
/local*
/man/*.?
/man/*.?.txt
/local*
/man/*.?
/man/*.?.txt
/run
/src/config.ml
/src/goals
/run
/src/config.ml
/src/goals
/src/parser.mli
/src/stamp-parser
/stamp-h
/src/parser.mli
/src/stamp-parser
/stamp-h