Compare commits

..

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