mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-27 05:10:36 +00:00
Code Issues Releases Activity
69,943 Commits 45 Branches 100 Tags 3.4 GiB
1e10f6c6b7
Commit Graph

1 Commits

Author SHA1 Message Date
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