##// END OF EJS Templates
top menu: 'Repositories' is really also a 'Home' button...
top menu: 'Repositories' is really also a 'Home' button 'Repositories' had a href="#" but it wasn't used - the sub menu is loaded and shown when hovering. The '/' front page is a more verbose view of repositories. It thus make sense to let 'Repositories' point there.

File last commit:

r1110:5351a3a3 beta
r3282:2d22c0da beta
Show More
user30.png
0 lines | 677 B | image/png | TextLexer
rendered-image