diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-22 17:53:04 +0100 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2023-01-22 17:53:04 +0100 |
| commit | 5068d823745ad05d7bdaeb596526f7ca196124d3 (patch) | |
| tree | ff1bcd9335a98fcfb2b1cdf92a5d2d19865ea171 /doc/tools/doc_status.py | |
| parent | 5432bad36f789118fe69ae733427d0c7aebd7dcb (diff) | |
| parent | 752402cf354a105496ed9a86038f83f56d0706fd (diff) | |
Merge pull request #71686 from YuriSizov/stylebox-min-size-but-better
Clean-up, harmonize, and improve StyleBox API
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions