Run `pre-commit install` during dunecontrol (!93) · Merge requests · ag-ohlberger / dune-community / dune-xt · GitLab

Tobias Leibner requested to merge install_precommit_via_rund into master Dec 13, 2021

See #29 (closed), fixes #29 (closed).