summaryrefslogtreecommitdiff
path: root/development/menhir
ModeNameSize
-rw-r--r--README145logplain
-rw-r--r--doinst.sh129logplain
-rw-r--r--menhir.SlackBuild3420logplain
-rw-r--r--menhir.info341logplain
-rw-r--r--slack-desc804logplain