mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: d04fb0 | patch | commitdiff
jpikus
08.38.2008 497a9ca45c0d81c22ad642f009c0ba38561ad4c8
refs
author jpikus <jpikus@localhost>
Monday, December 8, 2008 11:38 +0100
committer jpikus <jpikus@localhost>
Monday, December 8, 2008 11:38 +0100
commit497a9ca45c0d81c22ad642f009c0ba38561ad4c8
tree 2ace7000cb8db3e5bed5eb9e63c939a3c2ee3704 tree | zip | gz
parent d04fb0f282e0fd9a4bc80d3f9d5ee15506a3b83b view | diff 
do not copy english version
1 files modified
6 ■■■■■ changed files
opends/build.xml 6 ●●●●● diff | view | raw | blame | history