Difference between revisions of "MediaWiki:Sidebar"

Latest revision as of 08:58, 22 February 2018

@@ Line 1: / Line 1: @@
 * navigation
 ** mainpage|mainpage
-** portal-url|portal
+** Documentation|Documentation
-** currentevents-url|currentevents
+** Publications|Publications
+** Frequently_Asked_Questions|FAQ
+** Download|Download gem5
+** Repository|Source Repository
+** http://grok.gem5.org/|Search Source
+** http://gem5-review.googlesource.com/|Patch Review
+** Mailing_Lists|Mailing Lists
+** Development|Development
 ** recentchanges-url|recentchanges
-** randompage-url|randompage
 ** helppage|help
-** sitesupport-url|sitesupport
-* test
-** Documentation|Documentation
-** Frequently Asked Questions|Frequently_Asked_Questions