mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: b2ac7520 | patch | commit | show whitespace
ctissot
09.08.2008 9505317807aa8230d42b53453675e22f96a9ae26 
Cleanup: removed useless source file.
1 files deleted
86 ■■■■■ changed files
opends/src/dsml/org/opends/dsml/protocol/NamespacePrefixMapperImpl.java 86 ●●●●● patch | view | raw | blame | history 
 opends/src/dsml/org/opends/dsml/protocol/NamespacePrefixMapperImpl.java


File was deleted