mirror of
https://github.com/github/gitignore.git
synced 2025-05-07 20:28:59 +08:00
12 lines
112 B
Plaintext
12 lines
112 B
Plaintext
*Script
|
|
|
|
# Holmake generated files
|
|
*Theory.sig
|
|
*Theory.sml
|
|
*.uo
|
|
*.ui
|
|
|
|
# Holmake auxiliary files
|
|
.hollogs
|
|
.HOLMK
|