Skip to content

Made KDocTools optional

Matthieu Carteron requested to merge rubisetcie/ark:master into master

To be more inline with other components, in which KDocTools is an optional dependency.

Merge request reports