diff options
author | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-04-01 09:11:36 +0200 |
---|---|---|
committer | Bjørn Erik Pedersen <bjorn.erik.pedersen@gmail.com> | 2019-04-01 09:11:36 +0200 |
commit | 9225db636e2f9b75f992013a25c0b149d6bd8b0d (patch) | |
tree | bce168ac4cac8b5825a8dc324a78c58d5a7e6fb7 /metrics | |
parent | f7ef7d3761f2bc543f672c56b7af309d942bca97 (diff) |
releaser: Remove version replacement in docs config
Fixes #5665
Diffstat (limited to 'metrics')
0 files changed, 0 insertions, 0 deletions