diff options
| author | jkoan <jkoan@users.noreply.github.com> | 2018-05-24 07:28:17 +0200 |
|---|---|---|
| committer | jandegr <jandegr@users.noreply.github.com> | 2018-05-24 07:28:17 +0200 |
| commit | 01f62133c96e24b8b7df516007d7ef62af3a5759 (patch) | |
| tree | 0e9c85c91c081801ff6851d3d1e4dc3eb6a13ed7 /ci/build.sh | |
| parent | 33f553c27652b01b13dbf2208e900a9f93df3545 (diff) | |
| download | navit-01f62133c96e24b8b7df516007d7ef62af3a5759.tar.gz | |
fix:config:Fix dtd to allow real xmlint (#583)
xmllint --noout --dtdvalid navit/navit.dtd navit/navit_shipped.xml
Diffstat (limited to 'ci/build.sh')
0 files changed, 0 insertions, 0 deletions