[PUSHED] xmlsecurity: remove obsolete tools directory

[David Ostrovsky (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/1608

Approvals:
  LibreOffice gerrit bot: Verified
  David Ostrovsky: Verified; Looks good to me, approved


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

Gerrit-MessageType: merged
Gerrit-Change-Id: I5a1df11c18eb5932651ee381fae29f2ac0697b6a
Gerrit-PatchSet: 4
Gerrit-Project: core
Gerrit-Branch: master
Gerrit-Owner: Matúš Kukan <matus.kukan at gmail.com>
Gerrit-Reviewer: David Ostrovsky <David.Ostrovsky at gmx.de>
Gerrit-Reviewer: LibreOffice gerrit bot <gerrit at libreoffice.org>
Gerrit-Reviewer: Matúš Kukan <matus.kukan at gmail.com>
Gerrit-Reviewer: Norbert Thiebaud <nthiebaud at gmail.com>