mirror of
https://github.com/github/gitignore.git
synced 2026-08-29 03:07:04 +02:00
Compare commits
1 Commits
19411bc054
...
4b4e94c888
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
4b4e94c888 |
@ -1,2 +0,0 @@
|
||||
.sisyphus/*
|
||||
!.sisyphus/rules/
|
||||
@ -1,11 +0,0 @@
|
||||
*Script
|
||||
|
||||
# Holmake generated files
|
||||
*Theory.sig
|
||||
*Theory.sml
|
||||
*.uo
|
||||
*.ui
|
||||
|
||||
# Holmake auxiliary files
|
||||
.hollogs
|
||||
.HOLMK
|
||||
Loading…
Reference in New Issue
Block a user