##// END OF EJS Templates
make the default url customizable...
make the default url customizable this is the page redirected to from `/`, which defaults to `/tree`. also changes the redirect code to 302 from 301, which should cause less grumbling about caching.
MinRK -
r17778:0527e809
Show More
Name Size Modified Last Commit Author
/ IPython / html / tests / base
keyboard.js Loading ...
misc.js Loading ...
security.js Loading ...