Skip to content

Commit 4a9d41f

Browse files
arcresuarcresu
committed
Merge pull request #1352 from sebgod/mercury-add-modules
Mercury.gitignore: Add Mercury.modules
2 parents 5a46616 + d0748cf commit 4a9d41f

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

‎Mercury.gitignore

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
Mercury/
2+
Mercury.modules
23
*.mh
34
*.err
45
*.init

0 commit comments

Comments
 (0)