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
	daily-build.sh		8 KB	-rwxr-xr-x	view \| raw \| blame \| history
	daily-build.sh.carole		8 KB	-rwxr-xr-x	view \| raw \| blame \| history
	daily-build.sh.hidden		10 KB	-rwxr-xr-x	view \| raw \| blame \| history