chiark / gitweb /
Flush the HEAD cache in set_head_file()
[stgit] / setup.cfg
1 [install]
2 prefix: ~