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
..
Point_set_processing_3	Change the titles of mainpages to "User Manual"	2012-12-13 14:47:09 +01:00
Property_map	Change the titles of mainpages to "User Manual"	2012-12-13 14:47:09 +01:00