Geert-Jan Giezeman b0eb26c5b3 *** empty log message ***		2002-03-18 15:27:52 +00:00
..
developer_scripts	libgmp.* instead of libgmp.a.	2002-01-29 13:24:21 +00:00
scripts	*** empty log message ***	2002-03-18 15:27:52 +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-18 15:27:52 +00:00