diff Jenkinsfile @ 6731:ab5c736930cb

templates: fix typo that broke deleting repo groups An edit error in 073cf19b5067 broke some of the ways repository groups can be removed. Confusingly, repo groups can be deleted both from their Settings tab and from Advanced.
author domruf <dominikruf@gmail.com>
date Mon, 26 Jun 2017 22:57:28 +0200
parents 8a60eb2b7603
children 0acb46763886
line wrap: on
line diff