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)
commita520076331f1dbf2aaea4be65fa254db91f9ad0d
tree216ead31538dfff6cda30c4f1c9f889a56ecf059
parent5f2c348b4010c69402e303267c60112c2b5d2f77
parent64e5e1dd9dcc496eba3b35fcd5ec41933ca3b749
 Merge branch 'master' into 'master'

Updated manual with gitlab repo links