aboutsummaryrefslogtreecommitdiff
path: root/development/maude
ModeNameSize
-rw-r--r--README730logplain
-rw-r--r--doinst.sh382logplain
-rw-r--r--maude.SlackBuild3464logplain
-rw-r--r--maude.info452logplain
-rw-r--r--slack-desc842logplain