mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b52956 | patch | commitdiff
Ludovic Poitou
06.05.2015 a3c5e0daf7af82b2f748c4fe5dcd577c4fa20d0d
refs
author Ludovic Poitou <ludovic.poitou@forgerock.com>
Wednesday, May 6, 2015 16:05 +0200
committer Ludovic Poitou <ludovic.poitou@forgerock.com>
Wednesday, May 6, 2015 16:05 +0200
commita3c5e0daf7af82b2f748c4fe5dcd577c4fa20d0d
tree 32583c625c90caa5935d800db372465cf940bf7d tree | zip | gz
parent b52956de75caa2be959a4bdc768462070aa6549f view | diff 
Fix minor error on Java version required.
1 files modified
6 ■■■■■ changed files
opendj-server-legacy/resource/bin/_script-util.bat 6 ●●●●● diff | view | raw | blame | history