Remove the link to the developers manual

2012-08-29 08:38:58 +00:00 · 2012-08-29 08:38:58 +00:00 · 7cd5189e8e
parent 6175d001d7
commit 7cd5189e8e
1 changed files with 0 additions and 1 deletions
--- a/Documentation/doc/main.txt
+++ b/Documentation/doc/main.txt
@ -62,6 +62,5 @@ see the \ref licenseIssues License page.
 - \subpage introduction
 - \subpage preliminaries
 - \subpage installation
- \subpage dev_manual

 */