-
Alexandru Băluț authored
Until 05b3aee5 it was installed at configure time. Now it's installed when entering the dev env. Reviewed-by: Thibault Saunier <tsaunier@gnome.org> Differential Revision: https://phabricator.freedesktop.org/D1905
0bf1427b
Until 05b3aee5 it was installed at configure time. Now it's installed when entering the dev env. Reviewed-by: Thibault Saunier <tsaunier@gnome.org> Differential Revision: https://phabricator.freedesktop.org/D1905