diff options
| author | Mario Forzanini <mario.forzanini@studenti.unimi.it> | 2021-07-11 13:02:15 +0000 |
|---|---|---|
| committer | Mario Forzanini <mario.forzanini@studenti.unimi.it> | 2021-07-11 13:02:15 +0000 |
| commit | cd504e957f9f1ca1391226f94d519af376db9c32 (patch) | |
| tree | e5e8e7127677637390b7e2320ee402014eb87a6e /plugin%3fid%3d308448b9d00b00dacd73e1ccf37b864c8dfeee8b?id=cd504e957f9f1ca1391226f94d519af376db9c32 | |
| parent | faaf823554f0bebef5eabae78ceedbc7b3b9fdd6 (diff) | |
Fix esc mappings for terminal.
Diffstat (limited to 'plugin%3fid%3d308448b9d00b00dacd73e1ccf37b864c8dfeee8b?id=cd504e957f9f1ca1391226f94d519af376db9c32')
0 files changed, 0 insertions, 0 deletions