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-162: Move to docbkx-tools 2.0.13 stable version.

Mark Craig

20.11.2011 4a01d30d061e551ac33445a4b2982595c963ee3d

	opendj3			drwxr-xr-x	tree \| history \| zip \| gz
	opends			drwxr-xr-x	tree \| history \| zip \| gz
	sdk			drwxr-xr-x	tree \| history \| zip \| gz