diff options
| author | Zac Pullar-Strecker <[email protected]> | 2020-10-22 05:31:25 +0100 |
|---|---|---|
| committer | Zac Pullar-Strecker <[email protected]> | 2020-10-22 05:33:52 +0100 |
| commit | 68c67efa683bd676096c3a28960f806d4d3dc5d7 (patch) | |
| tree | 916f24bc193841f5e4c1f874ca2a4014b1d6b189 /.github/workflows/metrics.yaml | |
| parent | 9eb6cbb80b7d2ccf196745f8e53fc22ae0f73030 (diff) | |
Fix opening module documentation opening parent documentation instead
The whole path/URL joining code is kind of ugly which is what led to
this, but at the same time I don't really want to rewrite it right
now...
Diffstat (limited to '.github/workflows/metrics.yaml')
0 files changed, 0 insertions, 0 deletions