Philipp Möller 2636b7a407 Kill nav-sync, fix the ### bug.		2012-10-04 15:07:33 +00:00
..
CGAL/IO	Kill nav-sync, fix the ### bug.	2012-10-04 15:07:33 +00:00
fig	…
IOstream.txt	Small fixes for some awkward back-ticks and correctly link in Polygon.	2012-10-03 13:19:39 +00:00
PackageDescription.txt	Be consistent about author/authors	2012-10-03 16:40:16 +00:00