chiark / gitweb /
~mdw / mm / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: c2df194 57ecfc4 c6e78e6)
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)
* origin/manpage:
  mm.6: Add a manpage.

* origin/debian:
  Debianization!


Trivial merge
Simple Mastermind game