chiark / gitweb /
When receiving a push with dgit-repos-server, update the server's refs/heads/master...
[dgit.git] / dgit.7
2015-07-04 Ian JacksonManpages: Other clarifications and improvements.
2015-07-04 Ian JacksonManpages: Break out dgit(7) from dgit(1).