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

OPENDJ-938 Package: package name should be "opendj" instead of "OpenDJ" - A...

Violette Roche-Montane

27.11.2013 399d7192016d8296ec24c9b05d18a23b794fe562

 opends/PRODUCT

@@ -4,6 +4,9 @@
# The short name that should be used if the full name is not appropriate.
SHORT_NAME=OpenDJ

# The short name that should be used in packages.
PKG_NAME=opendj

# The major version number for the Directory Server.  It must be an integer.
MAJOR_VERSION=2

			@@ -4,6 +4,9 @@
			# The short name that should be used if the full name is not appropriate.
			SHORT_NAME=OpenDJ

			# The short name that should be used in packages.
			PKG_NAME=opendj

			# The major version number for the Directory Server. It must be an integer.
			MAJOR_VERSION=2