[cleanup] Remove empty cmake directory (!37) · Merge requests · staging / dune-functions · GitLab

The source project of this merge request has been removed.

Christoph Grüninger requested to merge (removed):cleanup/remove-empty-cmake-dir into master Feb 18, 2017