mirror of
https://github.com/github/gitignore.git
synced 2026-08-29 11:17:23 +02:00
Compare commits
4 Commits
0b8931f59d
...
8ce3a7686c
| Author | SHA1 | Date | |
|---|---|---|---|
|
|
8ce3a7686c | ||
|
|
7247090aa6 | ||
|
|
6836b38f62 | ||
|
|
6f8210fe16 |
11
HOL.gitignore
Normal file
11
HOL.gitignore
Normal file
@ -0,0 +1,11 @@
|
||||
*Script
|
||||
|
||||
# Holmake generated files
|
||||
*Theory.sig
|
||||
*Theory.sml
|
||||
*.uo
|
||||
*.ui
|
||||
|
||||
# Holmake auxiliary files
|
||||
.hollogs
|
||||
.HOLMK
|
||||
@ -55,3 +55,6 @@ LineIDs.dbg.bak
|
||||
*.~u
|
||||
*.project.~u
|
||||
*.suo
|
||||
|
||||
# TwinCAT Measurement
|
||||
*.vsm
|
||||
|
||||
Loading…
Reference in New Issue
Block a user