mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 73cb43 | patch | commitdiff
Chris Ridd
22.24.2014 8de8a164a4fe30820564ae7c88cb9f873b1e2acf
refs
author Chris Ridd <chris.ridd@forgerock.com>
Monday, September 22, 2014 12:24 +0200
committer Chris Ridd <chris.ridd@forgerock.com>
Monday, September 22, 2014 12:24 +0200
commit8de8a164a4fe30820564ae7c88cb9f873b1e2acf
tree 61e174386d65b42641381a218f2af094994c48ec tree | zip | gz
parent 73cb4335b30dec5870bbf8f11f0518584764b7c3 view | diff 
Remove accidental change to build.properties
1 files modified
1 ■■■■■ changed files
opendj-sdk/opends/build.properties 1 ●●●●● diff | view | raw | blame | history