Geert-Jan Giezeman e200a398fe *** empty log message ***		2002-03-19 08:31:35 +00:00
..
developer_scripts	libgmp.* instead of libgmp.a.	2002-01-29 13:24:21 +00:00
scripts	*** empty log message ***	2002-03-19 08:31:35 +00:00
test	…
changes.txt	*** empty log message ***	2002-01-29 13:25:14 +00:00
description.txt	…
list_cgal_includes	…
maintainer	…
version	*** empty log message ***	2002-03-19 08:31:35 +00:00