diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-02-26 21:09:49 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-02-26 21:09:49 +0100 |
| commit | aea5980f012c1094b116a1bcb4c37e63a83e4ecc (patch) | |
| tree | 7de72a0e786d4ccf8a72b5e121397c58ae69f70a /.gitattributes | |
| parent | ce114e35dda4b3f282abb458f8409db2369b279e (diff) | |
| parent | 5ec64d30b1702c0ef4754e31b4ac235aa1b304f9 (diff) | |
Merge pull request #26314 from jahd2602/export-icon-dpi-fix
Resize native run button according to editor scale.
Diffstat (limited to '.gitattributes')
0 files changed, 0 insertions, 0 deletions