##// END OF EJS Templates
BUG: Remove the pretty extension as it is now obsolete.
BUG: Remove the pretty extension as it is now obsolete.
Robert Kern -
r3226:d8f4a0ec
Show More