##// END OF EJS Templates
Created HistoryManager to better organize history control....
Created HistoryManager to better organize history control. This will put in a single location all history-related operations, and allow us to simplify the main classes further. Readline dependencies remain (for history saving/loading), this is only a first refactoring step.
Fernando Perez -
r3079:ba4b5e81
Show More
Name Size Modified Last Commit Author
/ tools
alldeps
build_release Loading ...
check_sources.py Loading ...
compile.py Loading ...
gitwash_dumper.py Loading ...
make_tarball.py Loading ...
release Loading ...
run_ipy_in_profiler.py Loading ...
testupload Loading ...
toollib.py Loading ...
update_revnum.py Loading ...