This repository has been archived on 2024-01-04. You can view files and clone it, but cannot push or open issues or pull requests.

Bwko 71dee6b7c0 Improve the way how branches are deleted ... Delete branch from HeadRepo instead of BaseRepo Prevent the deletion of a master branch Show a yes/no overlay when you press the delete branch button		2016-12-26 11:55:28 +01:00
..
gitignore
label
license
locale	Improve the way how branches are deleted	2016-12-26 11:55:28 +01:00
readme