summaryrefslogtreecommitdiff
path: root/development/menhir
ModeNameSize
-rw-r--r--README145logplain
-rw-r--r--menhir.SlackBuild3223logplain
-rw-r--r--menhir.info330logplain
-rw-r--r--slack-desc804logplain