Allow functions "returning strings" (etc), redefine sort function.

[goals.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index bd1d969..d901824 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -9,15 +9,17 @@
 .depend
 Goalfile
 Makefile
-config.log
 
 /aclocal.m4
 /autom4te.cache/
 /configure
 /config.h
 /config.h.in
+/config.log
 /config.status
 /install-sh
+/run
+/src/config.ml
 /src/goals
 /src/lexer.ml
 /src/parser.conflicts