chiark / gitweb /
Fix the HEAD updating during a conflicting push (bug #12609)
[stgit] / setup.cfg
1 [install]
2 prefix: ~