On 18 February 2017 at 18:40, Shaun McCance <sha...@gnome.org> wrote:
> But in the short term, switching to yelp-xsl would make builds faster. > Is this just a matter of pointing at a different set of stylesheets, or is there more to the port than that? Ross
_______________________________________________ desktop-devel-list mailing list desktop-devel-list@gnome.org https://mail.gnome.org/mailman/listinfo/desktop-devel-list
