mirror of
https://github.com/AdaCore/xmlada.git
synced 2026-02-12 12:30:28 -08:00
This was only used to point to the documentation, but this is now done by GPS itself, and thus results in an error message at the start of GPS. O508-012 git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/xmlada@238597 936e1b1b-40f2-da11-902a-00137254ae57