chiark / gitweb /
Remove dead code from push_empty_patch
[stgit] / Documentation / tutorial.conf
1 [titles]
2 underlines="##","==","--","~~","^^"
3