[midPoint-git] [Evolveum/midpoint] c06b53: Removing ninja37 (MID-4720)

[Radovan Semancik]

  Branch: refs/heads/master
  Home:   https://github.com/Evolveum/midpoint
  Commit: c06b531efd2554aea85b5d23d6a64668ddc1a280
      https://github.com/Evolveum/midpoint/commit/c06b531efd2554aea85b5d23d6a64668ddc1a280
  Author: Radovan Semancik <radovan.semancik at evolveum.com>
  Date:   2018-07-09 (Mon, 09 Jul 2018)

  Changed paths:
    M dist/pom.xml
    R dist/src/main/bin/ninja37.bat
    R dist/src/main/bin/ninja37.sh

  Log Message:
  -----------
  Removing ninja37 (MID-4720)



      **NOTE:** This service been marked for deprecation: https://developer.github.com/changes/2018-04-25-github-services-deprecation/

      Functionality will be removed from GitHub.com on January 31st, 2019.