3 Commits

Author SHA1 Message Date
Anthony Leonardo Gracio
b571ffe879 S904-003: Rename .gps directory and keys6.xml file
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
2019-09-11 18:41:03 +02:00
Arnaud Charlet
146c68e1fd Update location of plug-ins directory.
git-svn-id: svn+ssh://svn.eu/Dev/importfromcvs/trunk@91732 936e1b1b-40f2-da11-902a-00137254ae57
2005-04-11 14:42:46 +00:00
Emmanuel Briot
4b3c40c738 Initial revision
git-svn-id: svn+ssh://svn.eu/Dev/importfromcvs/trunk@85867 936e1b1b-40f2-da11-902a-00137254ae57
2003-11-14 15:11:44 +00:00