summaryrefslogtreecommitdiff
path: root/lang/polyml
ModeNameSize
-rw-r--r--DESCR131logplain
-rw-r--r--MESSAGE366logplain
-rw-r--r--Makefile583logplain
-rw-r--r--PLIST163logplain
-rw-r--r--distinfo321logplain
-rw-r--r--options.mk513logplain
d---------patches57logplain