mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Jean-Noel Rouvignac
26.55.2014 59e6de1a5cbd6d5b1be70d3a915ea81d32ddabae
opendj3-server-dev/src/server/org/opends/server/api/Extension.java does not exist in tree 1231b573b583363f1dd24d7888a7a67228e684c7