From 997647eb0dcf1d4028b50f1e30cbef7ead88784a Mon Sep 17 00:00:00 2001
From: Adriaan Moors <adriaan.moors@typesafe.com>
Date: Tue, 15 Jul 2014 11:45:07 +0200
Subject: Bump jline version to 2.12 (Re: SI-8535)

Move version info where it belongs: versions.properties
---
 build.xml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'build.xml')

diff --git a/build.xml b/build.xml
index c407c8d797..a89e694ac2 100755
--- a/build.xml
+++ b/build.xml
@@ -187,8 +187,6 @@ TODO:
 
   <property name="copyright.string"        value="Copyright 2002-2013, LAMP/EPFL"/>
 
-  <property name="jline.version"           value="2.11"/>
-
   <!-- These are NOT the flags used to run SuperSabbus, but the ones written
        into the script runners created with scala.tools.ant.ScalaTool -->
   <property name="java.flags"              value="-Xmx256M -Xms32M"/>
-- 
cgit v1.2.3