2 Commits
Author SHA1 Message Date
Lorenz Leutgeb 75a6b4996c Merge b42312254f into 4d89c5d3e2 2026-04-18 18:25:16 +02:00
Lorenz Leutgeb b42312254f Create HOL.gitignore 2026-04-18 18:24:37 +02:00
File renamed without changes.