diff options
| author | Florrie <towerofnix@gmail.com> | 2018-09-12 14:10:49 -0300 |
|---|---|---|
| committer | Florrie <towerofnix@gmail.com> | 2018-09-12 14:22:32 -0300 |
| commit | a0fc339cf4b326ffcb6ec7de5f4001833b71087b (patch) | |
| tree | 3263d4559ac27fd600bf12e3126cfe98c63dfe86 /undo-manager.js | |
| parent | 60128323aa663dd5680b843070704f0f42c834c0 (diff) | |
ctrl-F, '/': jump to an item by entering its name
Diffstat (limited to 'undo-manager.js')
0 files changed, 0 insertions, 0 deletions