asau 1a433eae91 Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.		2012-10-23 18:16:19 +00:00
..
buildlink3.mk	Revision bump associated with the update of lang/ocaml to version 4.	2012-10-08 15:18:20 +00:00
DESCR
distinfo
Makefile	Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days.	2012-10-23 18:16:19 +00:00
PLIST
PLIST.opt