chiark / gitweb /
Merge branch 'summarylength' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Thu, 10 Dec 2015 11:47:48 +0000 (11:47 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Thu, 10 Dec 2015 11:47:48 +0000 (11:47 +0000)
commit020160f1e85cb407c48331423c25f52c2ad78614
tree5237b6c48895b4e85b86c4d5bfa1a71f8a8e74e0
parent013315bf1084c3a9d38b815e06323d36875c210e
parent531a165daf2b60a7e1f1c92c61a6160f74b9e4ec
Merge branch 'summarylength' into 'master'

docs: Adjust summary length

See merge request !85