diff options
| author | No_name <[email protected]> | 2015-09-25 11:33:36 +0200 |
|---|---|---|
| committer | No_name <[email protected]> | 2015-09-25 11:33:36 +0200 |
| commit | 2380955609c8bb383226951660d6fd1944481e9b (patch) | |
| tree | 15a6f1e8249e92872bcf5fe2c41a8c0d08f609bc /src/themes/Splint | |
| parent | 5a5236d833230939333fb9a66422e88e40f0f54d (diff) | |
| parent | da35f0b35b46682d3566cb0ffc7ec2136317a1c9 (diff) | |
| download | marco-2380955609c8bb383226951660d6fd1944481e9b.tar.bz2 marco-2380955609c8bb383226951660d6fd1944481e9b.tar.xz | |
Merge pull request #168 from robertek/swith_to_workspace_prev
Possible keybinding to switch to previous workspace.
Diffstat (limited to 'src/themes/Splint')
0 files changed, 0 insertions, 0 deletions