5 Commits
Author SHA1 Message Date
Lorenz Leutgeb 0b8931f59d Merge 6f8210fe16 into c677dd99d4 2026-04-08 23:25:53 +00:00
Devin Dooley c677dd99d4 Merge pull request #4834 from wispgitgecko9/patch-2
Update macOS.gitignore
2026-04-07 20:04:22 -07:00
Devin Dooley a78658650d Revert change to Icon rule 2026-04-07 20:02:07 -07:00
WiSP 6a7b122e75 Update macOS.gitignore
Added .localized file to the gitignore.
2026-04-03 21:59:36 -05:00
Lorenz Leutgeb 6f8210fe16 Create HOL.gitignore 2018-09-13 16:57:53 +10:00
2 changed files with 12 additions and 0 deletions

No files matched your search

+1
View File
@@ -1,5 +1,6 @@
# General
.DS_Store
.localized
__MACOSX/
.AppleDouble
.LSOverride
+11
View File
@@ -0,0 +1,11 @@
*Script
# Holmake generated files
*Theory.sig
*Theory.sml
*.uo
*.ui
# Holmake auxiliary files
.hollogs
.HOLMK