REPL/LineEdit to support "undo": part of #8447#9596

Merged

rfourquet merged 1 commit intoJuliaLang:masterfrom srp:repl-undo

Sep 5, 2017

+152-13

Commits on Jul 22, 2017

REPL/LineEdit to support "undo": part of JuliaLang#8447
srp
committed