mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 8d505b | patch | commitdiff
abobrov
08.34.2009 da9aa6c44cba9ba97745c653f2c2670f8897cc01
refs
author abobrov <abobrov@localhost>
Wednesday, April 8, 2009 18:34 +0200
committer abobrov <abobrov@localhost>
Wednesday, April 8, 2009 18:34 +0200
commitda9aa6c44cba9ba97745c653f2c2670f8897cc01
tree 05ccf51a99dcfe689e3af71e81f800f960836b0a tree | zip | gz
parent 8d505bab74e45f982b0ff33c19387dfad53a452e view | diff 
- fix rebuild target which got broken by changes introduced in revision 5132.
1 files modified
12 ■■■■■ changed files
opends/build.xml 12 ●●●●● diff | view | raw | blame | history