[midPoint-git] [Evolveum/midpoint] 6d0d96: Distinct option in adminGuiConfig

[Radovan Semancik]

  Branch: refs/heads/master
  Home:   https://github.com/Evolveum/midpoint
  Commit: 6d0d9673498652ac51785e356307274926114f0a
      https://github.com/Evolveum/midpoint/commit/6d0d9673498652ac51785e356307274926114f0a
  Author: Radovan Semancik <radovan.semancik at evolveum.com>
  Date:   2018-04-10 (Tue, 10 Apr 2018)

  Changed paths:
    M infra/schema/src/main/resources/xml/ns/public/common/common-core-3.xsd

  Log Message:
  -----------
  Distinct option in adminGuiConfig