Geert-Jan Giezeman b3bb4ef82f *** empty log message ***		2000-08-07 08:40:05 +00:00
..
developer_scripts	Moved concatenation of error output to standard output after redirection	2000-08-07 08:32:40 +00:00
scripts	Adapted some comments	2000-08-07 08:37:05 +00:00
test	Doubled the waiting time	2000-08-07 08:35:18 +00:00
changes.txt	*** empty log message ***	2000-08-07 08:40:05 +00:00
description.txt	*** empty log message ***	2000-04-17 10:56:19 +00:00
list_cgal_includes	Initial revision	1999-09-03 14:39:36 +00:00
make_zip	Initial revision	1999-09-03 14:39:36 +00:00
version	*** empty log message ***	2000-08-07 08:40:05 +00:00