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

[#1038] Pin the session lock and generation of #974, and the restart a conf...

Valery Kharseko

5 days ago 918aed143217bf25967a2832d567588ae2c5c10c

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