Skip to content

add pre-commit hook to dev_guide

Mikulas Bankovic requested to merge docs/dev_precommit into release/0.3.0

Fix #1059 (closed)

Edited by Mikulas Bankovic

Merge request reports

A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog | Status