diff options
author | Kazuyoshi Kato <kato.kazuyoshi@gmail.com> | 2016-06-24 08:17:35 -0700 |
---|---|---|
committer | Kazuyoshi Kato <kato.kazuyoshi@gmail.com> | 2016-07-27 06:54:27 -0700 |
commit | 8e55954654596c965f220154a5f557e49463fa81 (patch) | |
tree | bfb378355fda438709c35da75b4758d387b586ad /examples | |
parent | 5ffce6e910f4cc1fced15824df86a9524be81681 (diff) | |
download | dotty-8e55954654596c965f220154a5f557e49463fa81.tar.gz dotty-8e55954654596c965f220154a5f557e49463fa81.tar.bz2 dotty-8e55954654596c965f220154a5f557e49463fa81.zip |
Fixes #1316: Remove JLine
Dotty uses ammonite.terminal since April (53bd25f) which replaces JLine.
There is no reason to keep it anymore.
Diffstat (limited to 'examples')
0 files changed, 0 insertions, 0 deletions