diff options
| author | Paul Phillips <paulp@improving.org> | 2011-04-14 19:33:39 +0000 |
|---|---|---|
| committer | Paul Phillips <paulp@improving.org> | 2011-04-14 19:33:39 +0000 |
| commit | a0909c05738489c72237852e3ec3f748fc1b53b6 (patch) | |
| tree | 0f7e401e0ecb446995d06d98de5f1af0737bf03f /src/jline/project | |
| parent | 09e192caea0fe2b8afaed96a7077e8cf52af2345 (diff) | |
| download | scala-a0909c05738489c72237852e3ec3f748fc1b53b6.tar.gz scala-a0909c05738489c72237852e3ec3f748fc1b53b6.tar.bz2 scala-a0909c05738489c72237852e3ec3f748fc1b53b6.zip | |
Some patches to jline, and new jar.
for improving the keybindings. No review.
Diffstat (limited to 'src/jline/project')
| -rw-r--r-- | src/jline/project/build.properties | 4 | ||||
| -rw-r--r-- | src/jline/project/plugins/project/build.properties | 2 |
2 files changed, 3 insertions, 3 deletions
diff --git a/src/jline/project/build.properties b/src/jline/project/build.properties index 3ecffcd808..89d3b4a498 100644 --- a/src/jline/project/build.properties +++ b/src/jline/project/build.properties @@ -1,8 +1,8 @@ #Project properties +#Wed Mar 23 21:05:24 PDT 2011 project.organization=org.improving project.name=jline -sbt.version=0.7.5.RC0 +sbt.version=0.7.6.RC0 project.version=0.98 build.scala.versions=2.8.1 -/*build.scala.versions=2.9.0-SNAPSHOT*/ project.initialize=false diff --git a/src/jline/project/plugins/project/build.properties b/src/jline/project/plugins/project/build.properties index 0b7014c531..24481fef8e 100644 --- a/src/jline/project/plugins/project/build.properties +++ b/src/jline/project/plugins/project/build.properties @@ -1,3 +1,3 @@ #Project properties -#Thu Feb 10 14:58:03 PST 2011 +#Tue Apr 05 12:32:56 PDT 2011 plugin.uptodate=true |