mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 04ea94 | patch | commitdiff
pgamba
20.06.2007 62beb29abc0af5fc19b7a987ec5206c36dc18360
refs
author pgamba <pgamba@localhost>
Thursday, September 20, 2007 16:06 +0200
committer pgamba <pgamba@localhost>
Thursday, September 20, 2007 16:06 +0200
commit62beb29abc0af5fc19b7a987ec5206c36dc18360
tree 69b6eb42167d2f59b34735d808d8d5871759cba4 tree | zip | gz
parent 04ea94b45e747d19ad1bbf105434aab2f889f1ed view | diff 
Fix a javadoc warning about non inherited searchBackend method
1 files modified
13 ■■■■■ changed files
opendj-sdk/opends/src/server/org/opends/server/replication/server/ReplicationBackend.java 13 ●●●●● diff | view | raw | blame | history