From 62ea7bb2656177fbb61d94b90d9a526990876cb8 Mon Sep 17 00:00:00 2001

From: Fabio Valentini <decathorpe@gmail.com>

Date: Mon, 20 Jul 2020 21:27:20 +0200

Subject: [PATCH 0/1] source / target 1.8

---

 build.xml | 5 +++--

 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/build.xml b/build.xml

index 4f400dc..0d28a7f 100644

--- a/build.xml

+++ b/build.xml

@@ -170,7 +170,8 @@

 			deprecation="${deprecation}"

 			optimize="on"

 			debug="on"

-      target="1.5"

+			source="1.8"

+			target="1.8"

 			includes="**/*.java"

 			excludes="${excludes},**/bak/**"

 		>

@@ -213,7 +214,7 @@

 			 destdir="${javadoc-dir}"

 			 author="true"

 			 version="true"

-       source="1.5"

+			 source="1.8"

 			 use="true"

 			 windowtitle="BeanShell ${version}"

 			 doctitle="<h1>BeanShell ${version}<h1>"

-- 

2.26.2