mirror of
https://github.com/AdaCore/xmlada.git
synced 2026-02-12 12:30:28 -08:00
This is required to refresh the unicode-names with unicode 14, where another name differs only by the dash.
This is required to refresh the unicode-names with unicode 14, where another name differs only by the dash.