diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-24 13:57:13 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-24 13:57:13 +0200 |
| commit | 27d12092821df77a6186d2fd54055c54beefbea0 (patch) | |
| tree | 7e4ead88863ce96e81ccae3cccc7c6463332daab /platform | |
| parent | 513b39882ae44a5ee0ff0d9bb0c4ddf700449422 (diff) | |
| parent | 5643d2e3feb61f07c4859866889f1d4a2edd00c8 (diff) | |
Merge pull request #38088 from YeldhamDev/name_tooltips_tweaks
Small naming and tooltip tweaks
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions