mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 13bcf2 | patch | commitdiff
coulbeck
03.47.2007 f20fe62366bed9fa0d702637c108b17fd8c80d67
refs
author coulbeck <coulbeck@localhost>
Thursday, May 3, 2007 21:47 +0200
committer coulbeck <coulbeck@localhost>
Thursday, May 3, 2007 21:47 +0200
commitf20fe62366bed9fa0d702637c108b17fd8c80d67
tree 550560c6675668b5ae97c3e6e7df1343ec48a2c1 tree | zip | gz
parent 13bcf29401d5a8dee710c658c386dd227dfb5cb4 view | diff 
Issue a build warning if the java version is too old.
1 files added
1 files modified
101 ■■■■■ changed files
opendj-sdk/opends/build.xml 33 ●●●●● diff | view | raw | blame | history
opendj-sdk/opends/src/build-tools/org/opends/build/tools/ValidJavaVersion.java 68 ●●●●● diff | view | raw | blame | history