Merge 80a98b3d2a into 4d89c5d3e2

2026-11-05 17:44:46 +01:00 · 2026-04-18 04:55:55 +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