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