external-software/github_OpenIdentityPlatform_OpenDJ.git

external-software / github_OpenIdentityPlatform_OpenDJ

mirror of https://github.com/OpenIdentityPlatform/OpenDJ.git

summary
commits
tree
docs
forks
compare

parent: 591d4357 | patch | commit | ignore whitespace

OPENDJ-2657 Fix typo spotted by Jean-Noël

Mark Craig

21.54.2016 ff1444cfb189396f8b09ca39da92ef02772c3953

OPENDJ-2657 Fix typo spotted by Jean-Noël

1 files modified

opendj-server-legacy/pom.xml

2 ●●●●● patch | view | raw | blame | history

 opendj-server-legacy/pom.xml

@@ -1490,7 +1490,7 @@
        The artifacts are used when preparing the product documentation.

        This profile is active without being specified explicitly.
        To deactivate this profile, use as exclamation point as in `-P!docs`.
        To deactivate this profile, use an exclamation point as in `-P!docs`.
      -->
      <id>docs</id>

			@@ -1490,7 +1490,7 @@
			The artifacts are used when preparing the product documentation.

			This profile is active without being specified explicitly.
			To deactivate this profile, use as exclamation point as in `-P!docs`.
			To deactivate this profile, use an exclamation point as in `-P!docs`.
			-->
			<id>docs</id>