mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: e78cf313 | patch | commit | ignore whitespace
Jean-Noel Rouvignac
09.04.2013 7f7ca25681429d9f5df8ab7780fb1517b1dc3efd 
PluginConfigManager.java:
Updated copyright because of commit r9200 .
1 files modified
2 ■■■■■ changed files
opends/src/server/org/opends/server/core/PluginConfigManager.java 2 ●●●●● patch | view | raw | blame | history 
 opends/src/server/org/opends/server/core/PluginConfigManager.java


@@ -23,7 +23,7 @@


 *


 *


 *      Copyright 2006-2010 Sun Microsystems, Inc.


 *      Portions Copyright 2011-2012 ForgeRock AS


 *      Portions Copyright 2011-2013 ForgeRock AS


 */


package org.opends.server.core;