diff options
author | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-06-24 15:21:08 -0700 |
---|---|---|
committer | Adriaan Moors <adriaan.moors@typesafe.com> | 2013-07-05 16:00:29 -0700 |
commit | 1b0fa91aa3f4d469505e5a1ff5d9cb1db0bdf662 (patch) | |
tree | 14755f21d0b6eeac18c3fe3c29ef361a391204ab /lib | |
parent | 46a4635d3acc0a18869131879e6cde862d6b9776 (diff) | |
download | scala-1b0fa91aa3f4d469505e5a1ff5d9cb1db0bdf662.tar.gz scala-1b0fa91aa3f4d469505e5a1ff5d9cb1db0bdf662.tar.bz2 scala-1b0fa91aa3f4d469505e5a1ff5d9cb1db0bdf662.zip |
Unfork jline: use vanilla jline 2.11 as a dependency.
Notes:
- no longer specifying terminal by class name in scripts (using 'unix')
- jline doesn't need a separate jansi dependency;
it includes its own version according to:
http://mvnrepository.com/artifact/jline/jline/2.11
Diffstat (limited to 'lib')
-rw-r--r-- | lib/jline.jar.desired.sha1 | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/lib/jline.jar.desired.sha1 b/lib/jline.jar.desired.sha1 deleted file mode 100644 index 1eb994cf1b..0000000000 --- a/lib/jline.jar.desired.sha1 +++ /dev/null @@ -1 +0,0 @@ -e87ad04fdffb5cd9b7aa9293596d9fdde086eccd ?jline.jar |