summaryrefslogtreecommitdiff
path: root/lang/maude
ModeNameSize
-rw-r--r--DESCR404logplain
-rw-r--r--MESSAGE352logplain
-rw-r--r--Makefile862logplain
-rw-r--r--PLIST272logplain
-rw-r--r--distinfo1580logplain
d---------patches841logplain