mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
opendj3/src/main/resources/css/coredoc.css does not exist in tree 52338afa7fe0117555ea92232e70686213a8d13b
