##// 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:

r547:1e757ac9 default
r3282:2d22c0da beta
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer