##// 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
/ setupext
__init__.py Loading ...
install_data_ext.py Loading ...
setupext.py Loading ...