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.
Description
Description
Details
Details
- Committed
Sebastian Godelet <sebastian.godelet+github@gmail.com> Jan 9 2015, 06:06 - Pushed
aubort Jul 2 2018, 16:12 - Parents
- rGITIGNORE6f8aee056436: Merge pull request #1311 from rafaelstz/patch-1
- Branches
- Unknown
- Tags