Merge 6f8210fe16 into c677dd99d4

Merge pull request #4834 from wispgitgecko9/patch-2
Update macOS.gitignore
2026-08-30 11:47:22 +02:00 · 2026-04-08 23:25:53 +00:00 · 2026-04-07 20:04:22 -07:00 · 2026-04-07 20:02:07 -07:00 · 2026-04-03 21:59:36 -05:00 · 2018-09-13 16:57:53 +10:00
2 changed files with 12 additions and 0 deletions
--- a/Global/macOS.gitignore
+++ b/Global/macOS.gitignore
@ -1,5 +1,6 @@
 # General
 .DS_Store
 .localized
 __MACOSX/
 .AppleDouble
 .LSOverride
--- a/HOL.gitignore
+++ b/HOL.gitignore
@ -0,0 +1,11 @@
 *Script
 # Holmake generated files
 *Theory.sig
 *Theory.sml
 *.uo
 *.ui
 # Holmake auxiliary files
 .hollogs
 .HOLMK
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