external-software/github_OpenIdentityPlatform_OpenDJ.git - g.central-computer.de

external-software / github_OpenIdentityPlatform_OpenDJ

mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

history | zip | gz

Fix build break introduced in r9343.

Matthew Swift

01.25.2013 af8e299d5387bf410182d951bd56fb0d8769bd9a

drwxr-xr-x

tree | history | zip | gz