mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 72dbc9 | patch | commitdiff
jvergara
12.16.2009 cf9b4ac37df8170c9bfb92870934796e2583705f
refs
author jvergara <jvergara@localhost>
Monday, January 12, 2009 09:16 +0100
committer jvergara <jvergara@localhost>
Monday, January 12, 2009 09:16 +0100
commitcf9b4ac37df8170c9bfb92870934796e2583705f
tree dc6c29a908bc3a5dd68de4d297fad7746e849d68 tree | zip | gz
parent 72dbc9257b037e835392f4976661baca85a70570 view | diff 
Fix broken build.
1 files modified
31 ■■■■■ changed files
opendj-sdk/opends/src/messages/messages/admin_tool.properties 31 ●●●●● diff | view | raw | blame | history