diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-02-08 15:21:15 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-02-08 15:21:15 +0100 |
| commit | cb7f21eac33ce7e322dc51133045c332e7c14fa7 (patch) | |
| tree | f0a9411a980592b901bc930c2fb41976950a4b1e /doc/tools/doc_status.py | |
| parent | 4a2f22daf47c275a7839c0f85924366d1162c8f0 (diff) | |
| parent | 8e3245383a266986605b098ed1ac0746258c3a61 (diff) | |
Merge pull request #57774 from bruvzg/font_edit_fixes
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions