Skip to content

Keep a reference to the current REPL backend in a global variable#10567

Merged
JeffBezanson merged 2 commits intomasterfrom kf/replinterruptfixMar 19, 2015

Commits

Commits on Mar 19, 2015