mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 1cd449 | patch | commitdiff
neil_a_wilson
17.07.2007 f20eeb18502ebbd7fc070482a61b1770b3ba0f70
refs
author neil_a_wilson <neil_a_wilson@localhost>
Thursday, May 17, 2007 19:07 +0200
committer neil_a_wilson <neil_a_wilson@localhost>
Thursday, May 17, 2007 19:07 +0200
commitf20eeb18502ebbd7fc070482a61b1770b3ba0f70
tree 79fabe197d764c000e9131cbaa45d7a55a53e0a7 tree | zip | gz
parent 1cd4490c53b4574f1ff9f3ffc71871dc1cc18ef0 view | diff 
Fix the rebuild target in the build script so that it computes the version
number correctly.
1 files modified
12 ■■■■■ changed files
opends/build.xml 12 ●●●●● diff | view | raw | blame | history