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