From: Matthias Maier
Date: Mon, 21 Jul 2014 16:26:16 +0000 (+0200)
Subject: Documentation: Remove all references to external resources
X-Git-Tag: v8.2.0-rc1~3^2~3
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=13082e9ce15181825fd44badbead1f59098c62ea;p=dealii.git
Documentation: Remove all references to external resources
We already link to this external resources on the homepage - there is no
point in doing it here (nobody will find it and it has the bad tendency of
being out of date).
---
diff --git a/doc/developers/navbar.html b/doc/developers/navbar.html
index 2999fe8345..db7d4a0847 100644
--- a/doc/developers/navbar.html
+++ b/doc/developers/navbar.html
@@ -37,14 +37,5 @@
-
- Online Resources
-
- Recent changes
- CDash
- Performance tests
-
-
-