mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: d4ae4851 | patch | commit | ignore whitespace
Fabio Pistolesi
06.56.2015 f66846ff1ba1b6c6fd3550538e3aa19559b92e37 
Fix docs generation
1 files modified
1 ■■■■■ changed files
opendj-sdk/opendj-server-legacy/pom.xml 1 ●●●●● patch | view | raw | blame | history 
 opendj-sdk/opendj-server-legacy/pom.xml


@@ -1911,7 +1911,6 @@


                    <messageFileName>core</messageFileName>


                    <messageFileName>dsconfig</messageFileName>


                    <messageFileName>extension</messageFileName>


                    <messageFileName>jeb</messageFileName>


                    <messageFileName>logger</messageFileName>


                    <messageFileName>plugin</messageFileName>


                    <messageFileName>protocol</messageFileName>