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