Browse Source

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.
pull/1352/head
Sebastian Godelet 7 years ago
parent
commit
d0748cf9a4
  1. 1
      Mercury.gitignore

1
Mercury.gitignore

@ -1,4 +1,5 @@
Mercury/
Mercury.modules
*.mh
*.err
*.init

Loading…
Cancel
Save