##// END OF EJS Templates
Merge pull request #2393 from tkf/history-search-limit...
Merge pull request #2393 from tkf/history-search-limit New option `n` to limit history search hits
Thomas Kluyver -
r8421:f8cf2127 merge
Show More