Re: GPS Editor displaying symbols incorrectly

Gautier de Montmollin <[email protected]> Fri, 29 Jun 2012 08:55:28 +0000
Newsgroups gmane.comp.ide.gps.user
Message-ID <[email protected]>
No clue about how to fix that, but a good thing is that GPS and GNAT are dissociated in the sense you can use an older GPS with a newer GNAT, or vice-versa - already had the latter situation a few years ago.

Cheers

Gautier