diff options
Diffstat (limited to 'src/jline/project/build.properties')
-rw-r--r-- | src/jline/project/build.properties | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/jline/project/build.properties b/src/jline/project/build.properties deleted file mode 100644 index 9b860e23c5..0000000000 --- a/src/jline/project/build.properties +++ /dev/null @@ -1 +0,0 @@ -sbt.version=0.12.3 |