Merge branch 'githubification'
commitffcbb14634db0afca620f91ac36ca4978407a84a
authorMichael J Gruber <quotecollapse-owner@mozdev.org>
Thu, 29 Mar 2018 10:56:15 +0000 (29 12:56 +0200)
committerMichael J Gruber <quotecollapse-owner@mozdev.org>
Thu, 29 Mar 2018 10:56:15 +0000 (29 12:56 +0200)
treee2db81a3acdb087cec93dca8c015b397bd8c9d43
parent7948b64e36d9a5a462cffde9542eecbca7bd964e
parent5442e5f315b77e037e923126df17d728e26e63e6
Merge branch 'githubification'

That merge should have happened long ago since we produced gh-pages from
there already.
www/customising.html