comparison scripts/docs-headings.py @ 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 ed2fb6e84a02
children 665dfa112f2c
comparison
equal deleted inserted replaced
6730:6fb68819e58e 6731:ab5c736930cb