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

[Andreas Cord-Landwehr]

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


Ship it!




Ship It!

- Andreas Cord-Landwehr


On März 10, 2016, 7:27 nachm., Andreas Sturmlechner wrote:
> 
> -----------------------------------------------------------
> This is an automatically generated e-mail. To reply, visit:
> https://git.reviewboard.kde.org/r/127335/
> -----------------------------------------------------------
> 
> (Updated März 10, 2016, 7:27 nachm.)
> 
> 
> 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/839274dd/attachment-0001.html>