summaryrefslogtreecommitdiff
path: root/inst
ModeNameSize
-rw-r--r--prelude.pl1525logplain
generated by cgit v1.2.3 (git 2.39.1) at 2025-11-08 23:30:24 +0100