diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-08-23 09:38:49 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-23 09:38:49 +0200 |
| commit | 2a855a068a43aa6944b6fa5b8e5ddad4c96a5b5e (patch) | |
| tree | 439eecb0c7c938ea4081de2edb66496a8861fa1f /platform | |
| parent | dd6388d3f6683fec6ce8d3521338ad4329a727c0 (diff) | |
| parent | db7bbbdbc7face2f29bcf2e1235c88a108288fbc (diff) | |
Merge pull request #31589 from Chaosus/minimap_enabled
Make code minimap to be visible by default
Diffstat (limited to 'platform')
0 files changed, 0 insertions, 0 deletions