external-software/github_OpenIdentityPlatform_OpenDJ.git

mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

Bruno Lavit

07.52.2016 4a6f79a92e263958b11e04445803455152523812

Clean some obsolete files for the opendj-man-pages project

2 files deleted

	opendj-man-pages/.gitignore	102 ●●●●● patch \| view \| raw \| blame \| history
	opendj-man-pages/dummy.txt	patch \| view \| raw \| blame \| history

 opendj-man-pages/.gitignore

File was deleted

 opendj-man-pages/dummy.txt