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
git-svn-id: svn+ssh://svn.eu/Dev/importfromcvs/trunk@91732 936e1b1b-40f2-da11-902a-00137254ae57
git-svn-id: svn+ssh://svn.eu/Dev/importfromcvs/trunk@85867 936e1b1b-40f2-da11-902a-00137254ae57