chiark / gitweb /
Fix the HEAD updating during a conflicting push (bug #12609)
[stgit] / Documentation / tutorial.conf
1 [titles]
2 underlines="##","==","--","~~","^^"
3