##// END OF EJS Templates
changelog: remove quick_repo_menu code and style...
changelog: remove quick_repo_menu code and style AFAICS this hasn't worked since the switch to jQuery DataTables in b8830c373681. And since nobody seems to miss it, I say we remove this.

File last commit:

r568:5f481e4e default
r6112:a009c058 default
Show More
theme.conf
4 lines | 71 B | text/plain | TextLexer
[theme]
inherit = basic
stylesheet = nature.css
pygments_style = tango