Emmanuel Briot
1810493fc6
Revert "Remove unneeded directory"
...
This is in fact needed for shared.gpr
This reverts commit ef563f35f9 .
2014-09-04 12:02:48 +02:00
Emmanuel Briot
ef563f35f9
Remove unneeded directory
2014-09-04 11:56:05 +02:00
Pascal Obry
a06083dbdb
Fix permissions
...
git-svn-id: svn+ssh://svn.eu.adacore.com/Dev/trunk/gps@152738 936e1b1b-40f2-da11-902a-00137254ae57
2009-11-23 20:11:05 +00:00
Emmanuel Briot
b0805478ef
Added .gpssnprj
...
git-svn-id: svn+ssh://svn.eu/Dev/importfromcvs/trunk@85223 936e1b1b-40f2-da11-902a-00137254ae57
2003-09-24 12:14:39 +00:00
Emmanuel Briot
e4160ba75c
Force cvs to always ignore *.d files (in particular in cvs status).
...
Makes it clearer which files are to be added to the repository
git-svn-id: svn+ssh://svn.eu/Dev/importfromcvs/trunk@71550 936e1b1b-40f2-da11-902a-00137254ae57
2001-11-30 10:14:44 +00:00