Merge branch 'pages-docs' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Tue, 15 May 2018 08:51:37 +0000 (08:51 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Tue, 15 May 2018 08:51:37 +0000 (08:51 +0000)
commit6656130f9cd72c405932c48e51fb511a21dc074e
tree06be7b77d61bf9ce8d4f60461e3ba2d0b631bdb0
parent9332237bd4b59fa7ed0d0d4d5c79bce9fce31feb
parentf4a0109377df806eb47c7baa058e4732da5db884
Merge branch 'pages-docs' into 'master'

Publish master docs with gitlab pages.

See merge request GNOME/gtk!135