Sébastien Loriot d72337785c remove dependance on CGAL_PDB: merge from the branche created for that purpose ... I do not remove the directory CGAL_PDB as I am allowed to use svn remove.		2010-06-10 17:26:38 +00:00
..
developer_scripts	remove dependance on CGAL_PDB: merge from the branche created for that purpose	2010-06-10 17:26:38 +00:00
package_info/Scripts	…
scripts	remove dependance on CGAL_PDB: merge from the branche created for that purpose	2010-06-10 17:26:38 +00:00
dont_submit	removed old script	2009-06-22 07:43:04 +00:00