You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
Reported by Patrick Gautschi under O727-014. Change-Id: I269bd8184aa36bac16faa4566c7ab9252d66130d
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/.gps/plug-ins directory.