diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2017-10-18 10:22:24 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-10-18 10:22:24 +0200 |
| commit | 215af244f3a6fc34fac31be82c120db254eb27d1 (patch) | |
| tree | 7bf93c1fac8b87c265099b085b48413bf59aff2f /servers | |
| parent | e4ec0d007ccfbdab4a7c40460aa1cd524e7b0bac (diff) | |
| parent | e119337ef405e86f83b0a6bf061446c73f45d50e (diff) | |
Merge pull request #12194 from djrm/pr_visual_improvements
Improved viewport zoom and speed icons
[ci skip]
Diffstat (limited to 'servers')
0 files changed, 0 insertions, 0 deletions