##// END OF EJS Templates
templates: use safer way to extract user_agent from request....
templates: use safer way to extract user_agent from request. Several reports were that user_agent was None causing a 500 while rendering template
marcink -
r2094:5efe3020 default
Show More
Name Size Modified Last Commit Author
/ ... / js / src / math_jax / jax / element
mml