diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-03-15 13:09:34 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-15 13:09:34 +0100 |
| commit | d0fee76717abde7ce7d922e488a03782669b2450 (patch) | |
| tree | 02457cf0f7c2c87220068917a60645bdc33d5965 /misc/dist | |
| parent | 055d775d74520557419edfb097e07a37a161574d (diff) | |
| parent | df2c71efd139f64da9448d02456ac8d8823886d1 (diff) | |
Merge pull request #59135 from EricEzaM/improvement/editor-log-better-button-style
Diffstat (limited to 'misc/dist')
0 files changed, 0 insertions, 0 deletions