Review Request 127335: Remove duplicate KF5DocTools search, make it optional

Thu Mar 10 21:38:19 UTC 2016

-----------------------------------------------------------
This is an automatically generated e-mail. To reply, visit:
https://git.reviewboard.kde.org/r/127335/
-----------------------------------------------------------

(Updated March 10, 2016, 9:38 p.m.)

Status
------

This change has been marked as submitted.

Review request for KDE Edu.

Changes
-------

Submitted with commit 1ba1e576e20e9008d3fd862deb7bbcca61f3e4d8 by Andreas Sturmlechner to branch master.

Repository: step

Description
-------

Remove duplicate KF5DocTools search, make it optional

Diffs
-----

  CMakeLists.txt b0dd543f050a69044db468ab4642f833b68fe05f 

Diff: https://git.reviewboard.kde.org/r/127335/diff/

Testing
-------

Thanks,

Andreas Sturmlechner

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.kde.org/pipermail/kde-edu/attachments/20160310/66457e83/attachment.html>