mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 30236e | patch | commitdiff
Glenn Van Lint
24.38.2013 2f28487dc949bb1ab41ee8ba73c1c71bcab95e95
refs
author Glenn Van Lint <glenn.vanlint@is4u.be>
Wednesday, April 24, 2013 10:38 +0200
committer Glenn Van Lint <glenn.vanlint@is4u.be>
Wednesday, April 24, 2013 10:38 +0200
commit2f28487dc949bb1ab41ee8ba73c1c71bcab95e95
tree 9d32daf71f13339eb673d3aefb120dbbdcbe0600 tree | zip | gz
parent 30236e76fdeab032bb0aac337a354b7ee22e6e33 view | diff 
Correction of header copyright.
Applied correct formatting style.
1 files modified
125 ■■■■■ changed files
opendj-sdk/opendj3/opendj-virtual/src/main/java/org/forgerock/opendj/virtual/MappingConfigurationManager.java 125 ●●●●● diff | view | raw | blame | history