chiark / gitweb /
Merge branch 'docs' into 'master'
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 21 Sep 2015 19:58:50 +0000 (19:58 +0000)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 21 Sep 2015 19:58:50 +0000 (19:58 +0000)
docs: Add list of trusted maven repos

See merge request !81


Trivial merge