diff options
| author | Claire <claire.github-309c@sitedethib.com> | 2022-06-16 15:37:59 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-16 15:37:59 +0200 |
| commit | 7a75bce1b43df290baf6842e2bb3d3eb0acd76d5 (patch) | |
| tree | 2b6df1d26f318835cafc5cfe86541b19e12be692 /public | |
| parent | 800e87ae9133c748606d2461613d85597033fea2 (diff) | |
Fix checkmark on interaction buttons with larger fonts (#1799)
Fixes #1796
Diffstat (limited to 'public')
0 files changed, 0 insertions, 0 deletions