Merge 0329c22a3d into 4d89c5d3e2

2026-11-06 01:54:39 +01:00 · 2026-04-18 05:59:13 +00:00
2 changed files with 0 additions and 13 deletions
@@ -1,2 +0,0 @@
-.sisyphus/*
-!.sisyphus/rules/
@@ -1,11 +0,0 @@
-*Script
-
-# Holmake generated files
-*Theory.sig
-*Theory.sml
-*.uo
-*.ui
-
-# Holmake auxiliary files
-.hollogs
-.HOLMK