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 OPENDJ-190: Look for tools.properties, etc. in ~/.opendj rather than ~/...

Matthew Swift

07.41.2011 9aa85f0854e05558bf94ba174539e112b7a3b7ff

	..			drwxr-xr-x
	server			drwxr-xr-x	tree \| history \| zip \| gz