mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 38a637 | patch | commitdiff
jpikus
22.03.2010 907a1ad161456f7dc9c4a07f2ae89778319767bb
refs
author jpikus <jpikus@localhost>
Friday, January 22, 2010 10:03 +0100
committer jpikus <jpikus@localhost>
Friday, January 22, 2010 10:03 +0100
commit907a1ad161456f7dc9c4a07f2ae89778319767bb
tree 0526c9ee00bbae0fd3b8d8f178b2bbcfd8d546fe tree | zip | gz
parent 38a63753e821b39f947c42a866fe9215d1969f6f view | diff 
display java version also for the build part
1 files modified
3 ■■■■■ changed files
opends/build.xml 3 ●●●●● diff | view | raw | blame | history