aboutsummaryrefslogtreecommitdiff
path: root/entries/ionchy
ModeNameSize
d---------agda36logplain