about summary refs log tree commit diff
path: root/ChangeLog
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2003-08-14T18·17+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2003-08-14T18·17+0000
commita24cb1936141981c3b3d5cd30433bb1e57d7dc76 (patch)
treef13ed03bb0cf013136fd2a893c3695c5dcc247c0 /ChangeLog
parent9ee3b7a37a658dc5d3d1831e4155629e18a866f4 (diff)
* Use xmllint instead of nsgmls to validate the manual.
Diffstat (limited to 'ChangeLog')
0 files changed, 0 insertions, 0 deletions