mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 67ea35 | patch | commitdiff
ludovicp
28.55.2010 ec7532654a58b10c572ab73ebef4e6acfab58cd9
refs
author ludovicp <ludovicp@localhost>
Friday, May 28, 2010 11:55 +0200
committer ludovicp <ludovicp@localhost>
Friday, May 28, 2010 11:55 +0200
commitec7532654a58b10c572ab73ebef4e6acfab58cd9
tree 1f60ff3dd65d8883b86151087265c69beb78dfe3 tree | zip | gz
parent 67ea35cf7f71d98f37bc2d632ab6bc28218c1236 view | diff 
Fix issue triggered by verify-index with --clean option.
1 files modified
13 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/types/Entry.java 13 ●●●●● diff | view | raw | blame | history