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

[Andreas Sturmlechner]

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

Review request for KDE Edu.


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/139f2294/attachment.html>