diff options
| author | Laurenz <laurmaedje@gmail.com> | 2023-04-11 16:59:38 +0200 |
|---|---|---|
| committer | Laurenz <laurmaedje@gmail.com> | 2023-04-11 16:59:38 +0200 |
| commit | 2606034ac7e4565d0b53188ccdf446d83f0bcd59 (patch) | |
| tree | 1f4dfe8f93bf8ba1d5d664aeb13ce91854e2489b /docs/src | |
| parent | 9720424884d67d61fd4ab7cbcefa2bfcc21d03e1 (diff) | |
Fix heading supplement
Fixes #730
Diffstat (limited to 'docs/src')
0 files changed, 0 insertions, 0 deletions