##// END OF EJS Templates
fix HTML capitalization in Highlight2HTML...
fix HTML capitalization in Highlight2HTML To be consistent with surrounding code, where we always capitalize acronyms that appear in class names.
MinRK -
r15767:f7d93b3d
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / custom
custom.css Loading ...
custom.js Loading ...