From 0c37d3ebfa171a3cd695c651f4f9839855ef2116 Mon Sep 17 00:00:00 2001 From: David Wells Date: Thu, 10 May 2018 09:38:00 -0400 Subject: [PATCH] Update some navbar links. --- doc/navbar.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/doc/navbar.html b/doc/navbar.html index 825f37501a..53fc21aa6c 100644 --- a/doc/navbar.html +++ b/doc/navbar.html @@ -24,7 +24,7 @@ Doxygen and Lectures

- Tutorial
+ Tutorial Programs
Manual
Wolfgang's lectures
@@ -34,9 +34,9 @@ Online Resources

- FAQ
+ FAQ
News
- Download
+ Download
Mailing list
Wiki
Bug tracker
-- 2.39.5