| changeset 14230 | def0606302a1 |
| parent 10020 | 46e77dff3970 |
| child 15932 | 2c351ab6c403 |
--- a/Admin/page/main-layout/navigation.html Fri Oct 10 19:32:15 2003 +0200 +++ b/Admin/page/main-layout/navigation.html Fri Oct 10 19:34:28 2003 +0200 @@ -9,6 +9,8 @@ <!-- _GP_ setnavcolor("#F0F0F0") --> <!-- _GP_ page("Home", "index") --> <!-- _GP_ empty_line(3) --> +<!-- _GP_ page("Overview", "overview") --> +<!-- _GP_ empty_line(3) --> <!-- _GP_ page("Logics", "logics") --> <!-- _GP_ empty_line(3) --> <!-- _GP_ page("Documentation", "docs") -->