prune.
commitbb49a8f402c744d3b563558ec1aa64326084aaf6
authorhanwen <hanwen>
Tue, 22 Jul 2003 00:54:33 +0000 (22 00:54 +0000)
committerhanwen <hanwen>
Tue, 22 Jul 2003 00:54:33 +0000 (22 00:54 +0000)
treed33c343ea5d539f65616a95a29c4adf8c50b40a5
parent0f9736671930f1dc982ad398140aa0ffc3de4785
prune.
ChangeLog
Documentation/header.html.in