Laurent Rineau 0b4c4cf211 Well, lockfile is probably not what we want, but let's keep its use and ... work-around its behavior: chmod u+x the created file.		2010-06-21 20:15:35 +00:00
..
developer_scripts	Well, lockfile is probably not what we want, but let's keep its use and	2010-06-21 20:15:35 +00:00
package_info/Scripts	Remove changes.txt files.	2008-07-24 17:47:16 +00:00
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