mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: c3f100 | patch | commitdiff
Bruno Lavit
07.52.2016 4a6f79a92e263958b11e04445803455152523812
refs
author Bruno Lavit <bruno.lavit@forgerock.com>
Thursday, April 7, 2016 15:52 +0200
committer Bruno Lavit <bruno.lavit@forgerock.com>
Thursday, April 7, 2016 15:52 +0200
commit4a6f79a92e263958b11e04445803455152523812
tree 7285610d158de38b1ef2a96ae8469ec1207a3f68 tree | zip | gz
parent c3f100b2611b49e9d681a8c1c5b0dd5130be2bc9 view | diff 
Clean some obsolete files for the opendj-man-pages project
2 files deleted
102 ■■■■■ changed files
opendj-man-pages/.gitignore 102 ●●●●● diff | view | raw | blame | history
opendj-man-pages/dummy.txt diff | view | raw | blame | history