mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b5042d | patch | commitdiff
jpikus
22.03.2010 8baa7afe182905d0b08682b34b782998b7798c1d
refs
author jpikus <jpikus@localhost>
Friday, January 22, 2010 10:03 +0100
committer jpikus <jpikus@localhost>
Friday, January 22, 2010 10:03 +0100
commit8baa7afe182905d0b08682b34b782998b7798c1d
tree 823bc1566bce5277a1ae416200ff6ec6a184a589 tree | zip | gz
parent b5042d6bddbc32abc57fb4f166045dc7e2d69ce6 view | diff 
display java version also for the build part
1 files modified
3 ■■■■■ changed files
opendj-sdk/opends/build.xml 3 ●●●●● diff | view | raw | blame | history