Edwin Groothuis 7a312e7e09 New Port: Customize TEI DTDs ... Generate customized TEI-DTDs PR: ports/38341 Submitted by: Henrik Motakef <henrik.motakef@web.de>		2003-01-03 23:23:26 +00:00
..
distinfo
Makefile
pkg-comment
pkg-descr
pkg-plist