diff options
author | Jason Zaugg <jzaugg@gmail.com> | 2016-04-27 10:45:49 +1000 |
---|---|---|
committer | Jason Zaugg <jzaugg@gmail.com> | 2016-04-27 15:02:31 +1000 |
commit | 6871bccae321a04bea28144945c6afa4b6276905 (patch) | |
tree | 72748dbe1bc2ca60256bf00aa2f60bdcb2fce167 /src/library | |
parent | 365ac035a863a666f86151371db77c6d401e88a2 (diff) | |
download | scala-6871bccae321a04bea28144945c6afa4b6276905.tar.gz scala-6871bccae321a04bea28144945c6afa4b6276905.tar.bz2 scala-6871bccae321a04bea28144945c6afa4b6276905.zip |
SI-9762 Remove workaround after upstream fix in jline
Now that we use a release of JLine that includes the fix for:
https://github.com/jline/jline2/issues/208
We no longer need to the workaround introduced in 7719a3c.
Screencast of the still-fixed behaviour:
http://recordit.co/5pzh9OhlQv.gif
Diffstat (limited to 'src/library')
0 files changed, 0 insertions, 0 deletions