mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 627a66ed | patch | commit | show whitespace
Jean-Noël Rouvignac
11.04.2016 18bb5f3bb7c9460290508644665599d176004a27 
Fixed indent
1 files modified
changed files
opendj-server-legacy/pom.xml patch | view | raw | blame | history 
 opendj-server-legacy/pom.xml