1
0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-25 09:34:11 +00:00
Commit Graph

2 Commits

Author SHA1 Message Date
Akinori MUSHA
36d62f1f46 De-pkg-comment. 2003-02-21 13:42:50 +00:00
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