Sebastian Godelet d0748cf9a4 Mercury.gitignore: Add Mercury.modules ...

The Mercury.modules file can be auto-generated by the Mercury compiler,
as such it appears only in Makefiles, and should therefore be ignored.

2015-01-09 13:06:58 +08:00

93 B

Raw Blame History

View Raw