##// END OF EJS Templates
generate choices for `--gui` configurable from real mapping...
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 should be backported to 1.1
MinRK -
r12363:20bada8f
Show More
Name Size Modified Last Commit Author
/ IPython / html / static / custom
custom.css Loading ...
custom.js Loading ...