libpixie-java (1:0.8.8-2) source-target-1.3.diff

Summary


     build.properties |    2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

download this patch

Patch contents

--- build.properties-old	2007-09-27 15:27:13.000000000 +0200
+++ build.properties	2007-09-27 15:28:03.000000000 +0200
@@ -18,7 +18,7 @@
 #
 # Make sure that JDK 1.2 compatible class files are generated
 build.target=1.4
-build.source=1.2
+build.source=1.3
 
 # You probably want to override this in your local build setup file
 build.retro.jdk=/opt/jdk1.2.2

page code/design/content is copyright (c) 2008 sean finney <seanius@debian.org>.
patches viewed/retrieved through this system are copyrighted by their respective authors.
browse git repo - clone git repo