You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
b571ffe879
And add a mechanism to copy the old .gps directory to .gnatstudio the first time. Rename keys6.xml to keys.xml when importing the old .gpr directory. Change-Id: I1e1ea2c123ae772a547561737e2309d4c081f239
6 lines
209 B
Plaintext
6 lines
209 B
Plaintext
This directory contains a number of python scripts, that show how
|
|
GPS can be extended through this scripting language.
|
|
|
|
To use any of these scripts, copy the file to your $HOME/.gnatstudio/plug-ins
|
|
directory.
|