##// END OF EJS Templates
Merge pull request #11014 from ghost/make-prompt-tookit-history-search-configurable...
Merge pull request #11014 from ghost/make-prompt-tookit-history-search-configurable making prompt_tolkit history search configurable
Min RK -
r24148:b65d977c merge
Show More
Name Size Modified Last Commit Author
/ scripts
ipython.ico Loading ...
ipython_nb.ico Loading ...