mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git
parent: 1a396fbc | patch | commit | ignore whitespace
Fabio Pistolesi
06.56.2015 ed1033d592fb60a844b5dac6aaa9d97ae830fd79 
Fix docs generation
1 files modified
1 ■■■■■ changed files
opendj-server-legacy/pom.xml 1 ●●●●● patch | view | raw | blame | history 
 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>