mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 1c4d85 | patch | commitdiff
Chris Ridd
22.24.2014 9fe2ca898c3a22da75b561f4a12d009400c2f321
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
commit9fe2ca898c3a22da75b561f4a12d009400c2f321
tree 851b23d99499f82028d1cf02e933d6557a238371 tree | zip | gz
parent 1c4d8575e85a9eb67741e42f27f95a7a198542c4 view | diff 
Remove accidental change to build.properties
1 files modified
1 ■■■■■ changed files
opends/build.properties 1 ●●●●● diff | view | raw | blame | history