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

14 lines

93 B

Plaintext

Raw Permalink Blame History