Merge 37894c00cd into 4d89c5d3e2

2026-11-07 10:30:43 +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