aboutsummaryrefslogtreecommitdiff
path: root/development/menhir
ModeNameSize
-rw-r--r--README145logplain
-rw-r--r--doinst.sh129logplain
-rw-r--r--menhir.SlackBuild3472logplain
-rw-r--r--menhir.info359logplain
-rw-r--r--slack-desc804logplain