mirror of
https://github.com/github/gitignore.git
synced 2026-08-30 03:37:05 +02:00
Compare commits
1 Commits
b11b019c71
...
0435e40946
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
0435e40946 |
@ -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