##// END OF EJS Templates
Make header and footer divs actually <header> and <footer>
Make header and footer divs actually <header> and <footer>
neko259 -
r1676:137d25dc default
Show More
Name Size Modified Last Commit Author
/ boards / static / css / 3party
highlight.css Loading ...
jquery-ui.min.css Loading ...