Commit 48258739 authored by Nikos Mavrogiannopoulos's avatar Nikos Mavrogiannopoulos

Merge branch 'tmp-2018-fix-gtk-doc' into 'master'

Update/fix gtk-doc support

See merge request !4
parents d83d2540 774f8817
Pipeline #23983012 passed with stage
in 34 minutes and 31 seconds