diff options
| author | Arne Dußin | 2020-11-09 22:13:26 +0100 |
|---|---|---|
| committer | Arne Dußin | 2020-11-09 22:13:26 +0100 |
| commit | 667a3c8335762aa626943a5ca0bcf64c653d0d0f (patch) | |
| tree | 02df28cce48917ee32cee301826d0b6ed9032cb6 /src/tool/wall_tool.rs | |
| parent | b8edcda33f5c305a5e48f84ed5880bd720f6dfc0 (diff) | |
| download | graf_karto-667a3c8335762aa626943a5ca0bcf64c653d0d0f.tar.gz graf_karto-667a3c8335762aa626943a5ca0bcf64c653d0d0f.zip | |
Fix editor not using the configured keybindings
Diffstat (limited to 'src/tool/wall_tool.rs')
0 files changed, 0 insertions, 0 deletions