chiark / gitweb /
Merge remote-tracking branches 'origin/manpage' and 'origin/debian'
authorMark Wooding <mdw@distorted.org.uk>
Tue, 4 Sep 2018 11:20:34 +0000 (12:20 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Tue, 4 Sep 2018 11:20:34 +0000 (12:20 +0100)
commit0ac9994b6470314803465ebdfb2dd7d02d7d204d
treecb03a76a0c9e5fba7143c61db39585d61d96ff0e
parentc2df194c52c1726d49cf054fe0923c16244b8114
parent57ecfc46bfddf680ad0c60420c5f352940ac0297
parentc6e78e67b8a2e4b3cf8252b31a41aedc7b5b6e6a
Merge remote-tracking branches 'origin/manpage' and 'origin/debian'

* origin/manpage:
  mm.6: Add a manpage.

* origin/debian:
  Debianization!