pkgsrc/editors/jove
2012-10-03 11:43:30 +00:00
..
patches Honor PKGMANDIR. 2012-05-23 04:43:17 +00:00
DESCR
distinfo Honor PKGMANDIR. 2012-05-23 04:43:17 +00:00
Makefile Drop superfluous PKG_DESTDIR_SUPPORT, "user-destdir" is default these days. 2012-10-03 11:43:30 +00:00
PLIST