5 Commits

Author SHA1 Message Date
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