mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: fd0c58 | patch | commitdiff
pgamba
20.06.2007 7c9c032bbbd4dc038d715536ad3244d64e95a81c
refs
author pgamba <pgamba@localhost>
Thursday, September 20, 2007 16:06 +0200
committer pgamba <pgamba@localhost>
Thursday, September 20, 2007 16:06 +0200
commit7c9c032bbbd4dc038d715536ad3244d64e95a81c
tree 8b8a77b7a51766072ee8d7c01a3052235bfe30ea tree | zip | gz
parent fd0c5837161dc71ee86b3529712091fcbe3d3c81 view | diff 
Fix a javadoc warning about non inherited searchBackend method
1 files modified
13 ■■■■■ changed files
opends/src/server/org/opends/server/replication/server/ReplicationBackend.java 13 ●●●●● diff | view | raw | blame | history