summaryrefslogtreecommitdiff
path: root/lib/isabelle/.gitignore
AgeCommit message (Expand)Author
2018-04-13Add a few more generated file to gitignoreBrian Campbell
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-01 02:56:19 +0000