tworu/gitignore
1
0
Fork 0
mirror of https://github.com/github/gitignore.git synced 2026-08-30 11:47:22 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

Compare commits

base: tworu:0b8931f59d99af7f73bf0636822ad02df4dc8369
Branches Tags
tworu:main
tworu:wirecat-patch-1
tworu:remove-duplicate-template
tworu:copilot/research-github-gitignore-repository
tworu:copilot/research-global-macos-gitignore
tworu:copilot/research-pr-4811
tworu:copilot/research-pr-4811-analysis
tworu:rmw-universe
tworu:rmw-universe-2022
tworu:annotating-visualstudio
tworu:add-metadata
tworu:ghfw
tworu:reduce-noise
tworu:old-ghfw
...
compare: tworu:21cd6433a8286a14b60408b14a8ab468ba724caf
Branches Tags
tworu:wirecat-patch-1
tworu:main
tworu:remove-duplicate-template
tworu:copilot/research-github-gitignore-repository
tworu:copilot/research-global-macos-gitignore
tworu:copilot/research-pr-4811
tworu:copilot/research-pr-4811-analysis
tworu:rmw-universe
tworu:rmw-universe-2022
tworu:annotating-visualstudio
tworu:add-metadata
tworu:ghfw
tworu:reduce-noise
tworu:old-ghfw

2 Commits
0b8931f59d ... 21cd6433a8

Author SHA1 Message Date
Lorenz Leutgeb
21cd6433a8
Merge 6f8210fe16 into e9c620b9f6 2026-04-07 15:30:49 +00:00
Lorenz Leutgeb
6f8210fe16
Create HOL.gitignore 2018-09-13 16:57:53 +10:00
1 changed files with 11 additions and 0 deletions
Show Stats Expand all files Collapse all files

11
HOL.gitignore Normal file
View File

@ -0,0 +1,11 @@
*Script
# Holmake generated files
*Theory.sig
*Theory.sml
*.uo
*.ui
# Holmake auxiliary files
.hollogs
.HOLMK