pkgsrc/lang/maude
2009-06-14 18:03:28 +00:00
..
patches
DESCR
distinfo
Makefile Convert to user-destdir, and mark as MAKE_JOBS_SAFE=no (latter part 2009-03-06 09:55:30 +00:00
MESSAGE
PLIST Remove @dirrm entries from PLISTs 2009-06-14 18:03:28 +00:00