diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2021-08-13 14:27:48 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-13 14:27:48 +0200 |
| commit | 1833c8b23335015f32aa2f6c31926aae597494d0 (patch) | |
| tree | 09eb53c500ae59b8eae3be1369a7a770bc78e8be /core | |
| parent | 3a3be769b8d7ccdfece5054e306c2467ca1c4b45 (diff) | |
| parent | 7612cff43212e06220c92d76eb490a5a43b558a1 (diff) | |
Merge pull request #51587 from Calinou/use-unicode-multiplication-symbol
Use the Unicode multiplication symbol where relevant
Diffstat (limited to 'core')
0 files changed, 0 insertions, 0 deletions