Laurent Rineau f454eba61a Unless the -k option is used, the src/ directory is erased after the ... compilation: it contains the build tree of CGAL libraries (that have been copied in lib/). That saves a lot of space.		2010-07-07 16:00:13 +00:00
..
developer_scripts	Unless the -k option is used, the src/ directory is erased after the	2010-07-07 16:00:13 +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