Add force and prune checkbox#60
Open
irenekaiservi wants to merge 7 commits into
Open
Commits
Commits on Apr 8, 2014
Commits on Sep 29, 2015
Commits on Jun 12, 2017
- committed
Commits on Dec 6, 2017
- committed
- committed
Commits on Dec 15, 2017
- committed
