Mercury.gitignore: Add Mercury.modules

sebgod · sebgod · commit d0748cf9a40d · 2015-01-09T13:06:58.000+08:00
The Mercury.modules file can be auto-generated by the Mercury compiler,
as such it appears only in Makefiles, and should therefore be ignored.
diff --git a/Mercury.gitignore b/Mercury.gitignore
@@ -1,4 +1,5 @@
 Mercury/
+Mercury.modules
 *.mh
 *.err
 *.init
