>From Michael Stahl <mst...@redhat.com>: Michael Stahl has submitted this change and it was merged.
Change subject: HelpIndexer, HelpLinker are build-time tools ...................................................................... HelpIndexer, HelpLinker are build-time tools Change-Id: I43186271f36f67a95a7e3766e1998ea42531e596 (cherry picked from commit beab021ffe57cf6004971d4f285984b6debe5b5f) --- M Repository.mk 1 file changed, 2 insertions(+), 2 deletions(-) Approvals: Michael Stahl: Verified; Looks good to me, approved -- To view, visit https://gerrit.libreoffice.org/562 To unsubscribe, visit https://gerrit.libreoffice.org/settings Gerrit-MessageType: merged Gerrit-Change-Id: I43186271f36f67a95a7e3766e1998ea42531e596 Gerrit-PatchSet: 1 Gerrit-Project: core Gerrit-Branch: libreoffice-3-6 Gerrit-Owner: Stephan Bergmann <sberg...@redhat.com> Gerrit-Reviewer: Michael Stahl <mst...@redhat.com> _______________________________________________ LibreOffice mailing list LibreOffice@lists.freedesktop.org http://lists.freedesktop.org/mailman/listinfo/libreoffice
