diff options
author | Paul Phillips <paulp@improving.org> | 2011-04-23 16:56:32 +0000 |
---|---|---|
committer | Paul Phillips <paulp@improving.org> | 2011-04-23 16:56:32 +0000 |
commit | 50a4b393f7a5e30908d9591f3eb9343ae6861a0b (patch) | |
tree | be1eeba4ff242044a3358d31c21e3281c182d508 /src/jline/project | |
parent | ffe789dd78c24dc82a74553f2634c6ebb1a32e38 (diff) | |
download | scala-50a4b393f7a5e30908d9591f3eb9343ae6861a0b.tar.gz scala-50a4b393f7a5e30908d9591f3eb9343ae6861a0b.tar.bz2 scala-50a4b393f7a5e30908d9591f3eb9343ae6861a0b.zip |
Reverted a jline commit which had broken histor...
Reverted a jline commit which had broken history search, no review.
Diffstat (limited to 'src/jline/project')
-rw-r--r-- | src/jline/project/plugins/project/build.properties | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/jline/project/plugins/project/build.properties b/src/jline/project/plugins/project/build.properties index 24481fef8e..218ed2577f 100644 --- a/src/jline/project/plugins/project/build.properties +++ b/src/jline/project/plugins/project/build.properties @@ -1,3 +1,3 @@ #Project properties -#Tue Apr 05 12:32:56 PDT 2011 +#Wed Mar 23 21:05:33 PDT 2011 plugin.uptodate=true |