mirror of
https://github.com/github/gitignore
synced 2025-07-03 20:08:25 +02:00
Merge pull request #1352 from sebgod/mercury-add-modules
Mercury.gitignore: Add Mercury.modules
This commit is contained in:
commit
4a9d41f894
1 changed files with 1 additions and 0 deletions
|
@ -1,4 +1,5 @@
|
|||
Mercury/
|
||||
Mercury.modules
|
||||
*.mh
|
||||
*.err
|
||||
*.init
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue