mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 801fa1 | patch | commitdiff
Fabio Pistolesi
24.26.2016 77e323cbd4127cc40d8958cd201a9f7a40695381
refs
author Fabio Pistolesi <fabio.pistolesi@forgerock.com>
Thursday, November 24, 2016 18:26 +0100
committer Fabio Pistolesi <fabio.pistolesi@forgerock.com>
Thursday, November 24, 2016 18:26 +0100
commit77e323cbd4127cc40d8958cd201a9f7a40695381
tree f0e64bf4a9beb4a7c5785b25bdebb3ba77759c08 tree | zip | gz
parent 801fa1c00effec79421fbf68ad88fc6163fd3c34 view | diff 
Fix build
1 files modified
18 ■■■■■ changed files
opendj-server-legacy/resource/schema/02-config.ldif 18 ●●●●● diff | view | raw | blame | history