##// 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.
Bradley M. Froehle -
r11437:f62c4ca0 merge
Show More