diff options
| author |  mitchell <70453897+667e-11@users.noreply.github.com> | 2019-09-21 08:51:10 -0400 |
|---|---|---|
| committer | mitchell <70453897+667e-11@users.noreply.github.com> | 2019-09-21 08:51:10 -0400 |
| commit | 68e7fc2fef3f9cbd4da4a89fa12915d4e683b439 (patch) | |
| tree | 2dd8ae45a84585251b4ee5ea131e450b91cacdcd /themes | |
| parent | c51668199549617d07af4891af9aeae956bdd42c (diff) | |
Added back "Paste Reindent", but as a separate menu/key/command from "Paste".
Diffstat (limited to 'themes')
0 files changed, 0 insertions, 0 deletions