Allow single option with REPL.TerminalMenus#36369
Merged
timholy merged 8 commits intoJuliaLang:masterfrom tomyun:terminalmenus-single-optionJun 22, 2020
+48-33
Commits
Commits on Jun 19, 2020
Commits on Jun 20, 2020
- committed
- committed
- committed
- committed
- committed
- committed