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 rebuild target which got broken by changes introduced in revision 5132.

abobrov

08.34.2009 ba64d4405e9d36e79cb5d39b95b10deaa3cc21fa

	..			drwxr-xr-x
	opends			drwxr-xr-x	tree \| history \| zip \| gz
	re-scripts/bin			drwxr-xr-x	tree \| history \| zip \| gz