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