mirror of
https://github.com/github/gitignore.git
synced 2026-05-16 06:44:31 -04: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
|