about summary refs log tree commit diff
path: root/src
diff options
context:
space:
mode:
authorEelco Dolstra <e.dolstra@tudelft.nl>2009-09-18T11·45+0000
committerEelco Dolstra <e.dolstra@tudelft.nl>2009-09-18T11·45+0000
commit51ad64cc0791f797c936d8d7b1cef0dec64c0ce3 (patch)
tree2b416ed275b0d910c9d1acc298f96d97ad9db3c9 /src
parentdf05a759e4b73058ade82b6008c405cc5c75b104 (diff)
* Use xmllint (>= 2.7.4) for RelaxNG validation instead of Jing.
Diffstat (limited to 'src')
0 files changed, 0 insertions, 0 deletions