##// END OF EJS Templates
This fixed the mixing of multiple history seen in #13631...
This fixed the mixing of multiple history seen in #13631 It forces get_tail to put the current session last in the returned results.
Matthias Bussonnier -
r27646:dc5bcc1c
Show More
Name Size Modified Last Commit Author
/ docs / source / _templates
breadcrumbs.html Loading ...
notebook_redirect.html Loading ...