##// END OF EJS Templates
Fix bug where the history wasn't correctly being set per-profile with...
Fix bug where the history wasn't correctly being set per-profile with new-style profiles (old bug), and the profile flag in the options structure was being lost. Incidentally, this may also have fixed a bug with logfile replay reported by Joahn Cohen-Tanugi on the list. Will need further confirmation from him though.
Fernando Perez -
r1230:2b2eee3c
Show More
Name Size Modified Last Commit Author
/ tools
check_sources.py Loading ...
make_tarball.py Loading ...
mkrel.py Loading ...
release Loading ...
run_ipy_in_profiler.py Loading ...
testrel Loading ...
testupload Loading ...
update_revnum.py Loading ...