You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
And move it to share/library, so that users can try it out. Change-Id: I6e198c0de1d666a654ebb3b02602ca5b193a8a1c
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.