summaryrefslogtreecommitdiff
path: root/sci-mathematics/agda/files
ModeNameSize
-rw-r--r--50agda2-gentoo.el317logplain