../ ALTERNATIVES,v 02-Jul-2013 00:08 2204 DEINSTALL,v 02-Jul-2013 00:08 18198 DESCR,v 02-Jul-2013 00:08 2841 INSTALL,v 02-Jul-2013 00:08 2636 MESSAGE,v 02-Jul-2013 00:08 3060 Makefile,v 02-Jul-2013 00:08 32413 PLIST,v 02-Jul-2013 00:08 51278 distinfo,v 02-Jul-2013 00:08 30582 hacks.mk,v 02-Jul-2013 00:08 3050 options.mk,v 02-Jul-2013 00:08 2445