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
102 ■■■■■ changed files
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