Merge b42312254f into 4d89c5d3e2

mirror of https://github.com/github/gitignore.git synced 2026-08-29 11:17:23 +02:00
Create HOL.gitignore
2026-08-29 11:17:23 +02:00 · 2026-04-18 18:25:16 +02:00 · 2026-04-18 18:24:37 +02:00
1 changed files with 11 additions and 0 deletions
--- a/community/HOL.gitignore
+++ b/community/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	75a6b4996c	Merge `b42312254f` into `4d89c5d3e2`	2026-04-18 18:25:16 +02:00
Lorenz Leutgeb	b42312254f	Create HOL.gitignore	2026-04-18 18:24:37 +02:00