Compare commits

..

1 Commits

Author SHA1 Message Date
Wu Tingfeng
a0b07f8a2d
Merge cd33ea10e8 into 4d89c5d3e2 2026-04-18 09:37:18 +00:00
2 changed files with 0 additions and 13 deletions

View File

@ -1,2 +0,0 @@
.sisyphus/*
!.sisyphus/rules/

View File

@ -1,11 +0,0 @@
*Script
# Holmake generated files
*Theory.sig
*Theory.sml
*.uo
*.ui
# Holmake auxiliary files
.hollogs
.HOLMK