summaryrefslogtreecommitdiff
path: root/lang/polyml
ModeNameSize
-rw-r--r--DESCR131logplain
-rw-r--r--MESSAGE366logplain
-rw-r--r--Makefile779logplain
-rw-r--r--PLIST242logplain
-rw-r--r--buildlink3.mk342logplain
-rw-r--r--distinfo706logplain
-rw-r--r--options.mk660logplain
d---------patches211logplain