##// END OF EJS Templates
Merge pull request #4158 from minrk/guitk...
Merge pull request #4158 from minrk/guitk generate choices for `--gui` configurable from real mapping typo prevented --gui tk from working, even though it is supported. Should prevent similar bugs in the future. closes #4156
Min RK -
r12405:617b7692 merge
Show More
Name Size Modified Last Commit Author
/ IPython / terminal
console
tests
__init__.py Loading ...
embed.py Loading ...
interactiveshell.py Loading ...
ipapp.py Loading ...