chiark / gitweb /
Remove dead code from push_empty_patch
[stgit] / debian / dirs
1 usr/bin