mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 062a0e | patch | commitdiff
Jean-Noel Rouvignac
02.58.2013 759f969de43bebf766d86b620db16452cda1f7f6
refs
author Jean-Noel Rouvignac <jean-noel.rouvignac@forgerock.com>
Monday, December 2, 2013 10:58 +0100
committer Jean-Noel Rouvignac <jean-noel.rouvignac@forgerock.com>
Monday, December 2, 2013 10:58 +0100
commit759f969de43bebf766d86b620db16452cda1f7f6
tree 19936b0c6482bdd0faabfe9945092a993fb9384c tree | zip | gz
parent 062a0efc5af3f00d411ee9032741490a813de51f view | diff 
build.xml:
In "prepare-release" target, implemented the check on the URL used for buildings documentation.
1 files modified
10 ■■■■■ changed files
opends/build.xml 10 ●●●●● diff | view | raw | blame | history