You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
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.