jmmv 0916498c1b Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.		2003-03-29 12:40:00 +00:00
..
patches	Initial import of twelf-1.4 as contributed by Christopher Richards in	2003-01-22 22:41:21 +00:00
DESCR	Initial import of twelf-1.4 as contributed by Christopher Richards in	2003-01-22 22:41:21 +00:00
distinfo	Initial import of twelf-1.4 as contributed by Christopher Richards in	2003-01-22 22:41:21 +00:00
Makefile	Place WRKSRC where it belongs, to make pkglint happy; ok'ed by wiz.	2003-03-29 12:40:00 +00:00
MESSAGE	Initial import of twelf-1.4 as contributed by Christopher Richards in	2003-01-22 22:41:21 +00:00
PLIST	Initial import of twelf-1.4 as contributed by Christopher Richards in	2003-01-22 22:41:21 +00:00