summaryrefslogtreecommitdiff
path: root/inst
Commit message (Expand)AuthorAgeFiles
* ints intMirek Kratochvil2023-03-041
* load a preludeMirek Kratochvil2023-03-041
generated by cgit v1.2.3 (git 2.39.1) at 2025-11-09 01:26:22 +0100