##// END OF EJS Templates
Merge pull request #3645 from minrk/histnoshell...
Merge pull request #3645 from minrk/histnoshell Don't require HistoryManager to have a shell.

File last commit:

r11086:c137395d
r11437:f62c4ca0 merge
Show More
__init__.py
0 lines | 0 B | text/x-python | PythonLexer