Command line parsing, the concept of publishing goals.

[goaljobs.git] / .gitignore

diff --git a/.gitignore b/.gitignore
index c32e226..78fe55c 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -17,6 +17,7 @@ Makefile
 /config.h
 /config.h.in
 /config.log
+/config.ml
 /config.status
 /config.sub
 /configure