summaryrefslogtreecommitdiff
path: root/www/ocsigen
ModeNameSize
-rw-r--r--DESCR205logplain
-rw-r--r--Makefile1565logplain
-rw-r--r--PLIST5942logplain
-rw-r--r--PLIST.ocamlduce246logplain
-rw-r--r--distinfo366logplain
-rw-r--r--options.mk425logplain
d---------patches72logplain