mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 35c335ce | patch | commit | ignore whitespace
Matthew Swift
04.16.2015 b8acff17ec500270e6a988bd1fbc5f254e0b2f3e 
Remove unused PRODUCT file since it is no longer used during the build
1 files deleted
46 ■■■■■ changed files
opendj-server-legacy/PRODUCT 46 ●●●●● patch | view | raw | blame | history 
 opendj-server-legacy/PRODUCT


File was deleted