Laurent Rineau a5cc4dc910 Fix the creation of public releases ... When the release names of consecutive public releases are the identical, there was a bug: "gzip: CGAL-4.4-dev.tar.gz already exists; not overwritten"		2014-02-18 15:56:52 +01:00
..
developer_scripts	Fix the creation of public releases	2014-02-18 15:56:52 +01:00
package_info/Scripts	remove executable property from copyright files	2011-10-03 08:18:16 +00:00
scripts	Output to stdout, for consistency with the other outputs	2013-09-03 17:25:33 +02:00
dont_submit	remove empty lines at end of dont_submit files	2012-11-27 08:35:33 +01:00