Philipp Möller 75f69570dc Change the titles of mainpages to "User Manual" ... This leads to a slightly odd result in the search for "User Manual", but makes the pages themselves more consistent.		2012-12-13 14:47:09 +01:00
..
doc/IOstream	Change the titles of mainpages to "User Manual"	2012-12-13 14:47:09 +01:00
doc_tex	Merged iostream into Stream_support	2012-06-22 14:43:58 +00:00
include/CGAL/IO	WARNFIX: fix some warnings triggered by -Wconversion on g++	2012-08-09 16:06:54 +00:00
package_info/Stream_support	Moved over a bit from the description in iostream.	2012-06-22 14:45:34 +00:00
src/CGAL	Merged iostream into Stream_support	2012-06-22 14:43:58 +00:00
test/Stream_support	Merged iostream into Stream_support	2012-06-22 14:43:58 +00:00
dont_submit	add doc in dont_submit	2012-11-27 08:42:02 +01:00