[gps-users] About GPS IDE shortcuts and aggregate projects

[Denis Obrezkov]

But what about the shortcuts issue? Where can I report it?

2017-05-02 21:52 GMT+03:00 Gautier de Montmollin <
gautier.de.montmollin at gmail.com>:

> > Do you mean to open several GPS windows?
>
> Yep.
>
> _______________________________________________
> gps-users mailing list
> gps-users at lists.adacore.com
> /no-more-mailman.html
>



-- 
Regards, Denis Obrezkov
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/gps-users/attachments/20170505/b7d2f0e9/attachment.html>