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