Rework pages

[web.git] / pages / source.txt

diff --git a/pages/source.txt b/pages/source.txt
index 6cf337b4ae10dce4e3be78ed189765e9bac5c09c..b44b659128b517d7cbd9836273462fbf7abda857 100644 (file)
--- a/pages/source.txt
+++ b/pages/source.txt
@@ -1,4 +1,7 @@
-include::header.txt[]
+Source Code Repositories
+========================
+
+include::menu.inc[]
 
 == The Source Code