[PUSHED] "Degugging" no more in make help :-)

[Jan Holesovsky (via Code Review)]

Hi,

Thank you for your patch!  It has been merged to LibreOffice.

If you are interested in details, please visit

    https://gerrit.libreoffice.org/3395

Approvals:
  Jan Holesovsky: Verified; Looks good to me, approved
  Joren De Cuyper: Looks good to me, but someone else must approve


-- 
To view, visit https://gerrit.libreoffice.org/3395
To unsubscribe, visit https://gerrit.libreoffice.org/settings

Gerrit-MessageType: merged
Gerrit-Change-Id: I032f9737746b39047b2d62df6821da4b3b9e9242
Gerrit-PatchSet: 2
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Chris Sherlock <chris.sherlock79 at gmail.com>
Gerrit-Reviewer: Jan Holesovsky <kendy at suse.cz>
Gerrit-Reviewer: Joren De Cuyper <joren.libreoffice at telenet.be>