mirror of
https://github.com/github/gitignore.git
synced 2026-11-05 17:44:46 +01:00
Compare commits
5
Commits
21cd6433a8
...
0b8931f59d
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
0b8931f59d | ||
|
|
c677dd99d4 | ||
|
|
a78658650d | ||
|
|
6a7b122e75 | ||
|
|
6f8210fe16 |
No files matched your search
@@ -1,5 +1,6 @@
|
||||
# General
|
||||
.DS_Store
|
||||
.localized
|
||||
__MACOSX/
|
||||
.AppleDouble
|
||||
.LSOverride
|
||||
|
||||
@@ -0,0 +1,11 @@
|
||||
*Script
|
||||
|
||||
# Holmake generated files
|
||||
*Theory.sig
|
||||
*Theory.sml
|
||||
*.uo
|
||||
*.ui
|
||||
|
||||
# Holmake auxiliary files
|
||||
.hollogs
|
||||
.HOLMK
|
||||
Reference in new issue
Block a user