diff options
| -rwxr-xr-x | docs/mainpage.dox | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/docs/mainpage.dox b/docs/mainpage.dox index 0e2d0ff..f214e59 100755 --- a/docs/mainpage.dox +++ b/docs/mainpage.dox @@ -20,8 +20,6 @@ or dependent tasks. @ref Tutorial -@ref DiscussionForum - @ref MailingList @ref FAQ |