mirror of
https://github.com/AdaCore/xmlada.git
synced 2026-02-12 12:30:28 -08:00
This comes from the GitHub pull request #13. no-tn-check Change-Id: I16d3c1fdfc56153692e34378d938656703ec0b0e
This comes from the GitHub pull request #13. no-tn-check Change-Id: I16d3c1fdfc56153692e34378d938656703ec0b0e