Merge 37894c00cd into 4d89c5d3e2

2026-11-05 09:34:38 +01:00 · 2026-04-18 09:40:38 +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