chiark / gitweb /
Merge branch 'master' into 'master'
authorCiaran Gultnieks <ciaran@ciarang.com>
Sun, 13 Apr 2014 18:57:05 +0000 (18:57 +0000)
committerCiaran Gultnieks <ciaran@ciarang.com>
Sun, 13 Apr 2014 18:57:05 +0000 (18:57 +0000)
Updated manual with gitlab repo links


Trivial merge