Sylvain Pion f69bd58811 Just discovered that sed has a practical "-i" option to edit files in place.		2007-05-04 10:15:40 +00:00
..
developer_scripts	Just discovered that sed has a practical "-i" option to edit files in place.	2007-05-04 10:15:40 +00:00
scripts	remove -w and -g option of install_cgal	2007-03-09 22:53:24 +00:00
changes.txt	…
description.txt	…
maintainer	…