Sylvain Pion 8d012cf255 - Change the default ulimit from 20 minutes to 60 minutes.		2006-03-22 17:39:52 +00:00
..
developer_scripts	- Change the default ulimit from 20 minutes to 60 minutes.	2006-03-22 17:39:52 +00:00
scripts	rename create_makefile to cgal_create_makefile to avoid name clashes,	2006-03-15 22:10:02 +00:00
test	…
changes.txt	rename create_makefile to cgal_create_makefile to avoid name clashes,	2006-03-15 22:10:02 +00:00
description.txt	…
maintainer	…