diff options
| author | Arne Dußin | 2020-11-15 20:02:44 +0100 |
|---|---|---|
| committer | Arne Dußin | 2020-11-15 20:02:44 +0100 |
| commit | f36ff188caca4d4963b1be89e3f017d6a8b9dedc (patch) | |
| tree | 207784651d98e4f85baaeea194324277a7354a5e /src/editor.rs | |
| parent | 6aabd0123961d90095df3cefefeb0718f94aa6fc (diff) | |
| download | graf_karto-f36ff188caca4d4963b1be89e3f017d6a8b9dedc.tar.gz graf_karto-f36ff188caca4d4963b1be89e3f017d6a8b9dedc.zip | |
Fix deletion and wall tool ghosts
Diffstat (limited to 'src/editor.rs')
0 files changed, 0 insertions, 0 deletions