diff options
| author | Fabio Alessandrelli <fabio.alessandrelli@gmail.com> | 2021-09-18 15:26:55 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-18 15:26:55 +0200 |
| commit | bac757df214371ed8ddfa0946a1023a446f75d10 (patch) | |
| tree | 91936d28de2c359f4afb2d700f6324f4b49a1fe6 /doc/tools/doc_status.py | |
| parent | c77e1e28524abd22f2b60dbec72e21f4a9688bac (diff) | |
| parent | 9e85c95ca2bd368d2d448f4f629bf40d5bbe776d (diff) | |
Merge pull request #52743 from Ev1lbl0w/fix_debug_errors_not_clearing
Fix error list not being cleared
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions