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