diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-06 08:56:52 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-06 08:56:52 +0200 |
| commit | d414872bfe47b66a5f7a1896815a7b3180625ee3 (patch) | |
| tree | d2f48b2524805d32f94778aca2c2fe2ef16a2dc2 /doc/tools/doc_status.py | |
| parent | 48e6f84295e7afb2398d44d88156997f10c4782e (diff) | |
| parent | f359abbe01fa3d7c8981db7f8b843252efbed665 (diff) | |
Merge pull request #66961 from Rindbee/fix-set_custom_color
Fix wrong condition used in `set_custom_color`
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions