mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 5bf6f7 | patch | commitdiff
jvergara
12.16.2009 67dd9404996dd5138f80c28ad8f8bab1164a0c19
refs
author jvergara <jvergara@localhost>
Monday, January 12, 2009 09:16 +0100
committer jvergara <jvergara@localhost>
Monday, January 12, 2009 09:16 +0100
commit67dd9404996dd5138f80c28ad8f8bab1164a0c19
tree b1c87523d228a474807acd934419b68ac8edcf1c tree | zip | gz
parent 5bf6f768ae8b392564ac427810cac9790b1c7705 view | diff 
Fix broken build.
1 files modified
31 ■■■■■ changed files
opends/src/messages/messages/admin_tool.properties 31 ●●●●● diff | view | raw | blame | history