mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 01:13:30 +00:00
Update a .gitignore file.
mfilterjavac/.gitignore: Ignore .mih files.
This commit is contained in:
1
mfilterjavac/.gitignore
vendored
1
mfilterjavac/.gitignore
vendored
@@ -6,6 +6,7 @@ mfilterjavac
|
||||
*.dep
|
||||
*.dv
|
||||
*.mh
|
||||
*.mih
|
||||
*.o
|
||||
*.err
|
||||
*.exe
|
||||
|
||||
Reference in New Issue
Block a user