You've already forked gnatstudio
mirror of
https://github.com/AdaCore/gnatstudio.git
synced 2026-02-12 12:42:33 -08:00
in a structure shared among all scripting languages. This saves a minor amount of memory (avoid duplicating the name of the commands in memory), but more importantly provides a good place to store (once) the parameter names for JB12-019 (Register_Command, for a scripting_language): profile changed. Users should no longer call this procedure directly, but go through the one at the repository level. git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@167171 936e1b1b-40f2-da11-902a-00137254ae57