diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-21T16·05+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-08-21T16·05+0000 |
commit | 1a9a1f2768bac5defe4c2e39e5a9ccdee0e05d55 (patch) | |
tree | d3d0269ae4b2392edd5b547215fa527283c70725 /tests/user-envs.sh | |
parent | cc0505f033f9d7f55837dca7b3bb4fb3d2969afb (diff) |
* Convert to DocBook 5.
* Use Jing for RelaxNG validation, xmllint seems buggy.
Diffstat (limited to 'tests/user-envs.sh')
0 files changed, 0 insertions, 0 deletions