diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2017-10-28 17:52:02 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-10-28 17:52:02 +0200 |
commit | 5f24a0b2509659d43dca772704ed49714929f913 (patch) | |
tree | 01c8468532545baccbccd29f0d11434eee00d1fb /core/map.h | |
parent | feb30bf329d5de8a6b35acaae0cd122f53e40826 (diff) | |
parent | 70566c0935838825da462503805d93373249d964 (diff) |
Merge pull request #12389 from Chaosus/continuehotkey
Added hotkey for Continue action in Script editor
[ci skip]
Diffstat (limited to 'core/map.h')
0 files changed, 0 insertions, 0 deletions