mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
blame | history | patch | commit | commitdiff | ignore whitespace
Matthew Swift
23.02.2011 c5e342a19b53626ceb4db5f3940ce758eb312d69 
 opendj3/opendj-client-tools/.settings/org.maven.ide.eclipse.prefs