diff options
author | Felipe Barriga Richards <[email protected]> | 2017-01-06 13:48:20 -0300 |
---|---|---|
committer | raveit65 <[email protected]> | 2017-06-05 08:23:38 +0200 |
commit | 5ded52f5e98d60abb903cc9194714a9b293ad482 (patch) | |
tree | 4075b294302ee894f491422085f7739f241b1dd7 /src/ui/fixedtip.h | |
parent | 669e59f9caa7d8d738a189fee899cbfbe5de97a0 (diff) | |
download | marco-5ded52f5e98d60abb903cc9194714a9b293ad482.tar.bz2 marco-5ded52f5e98d60abb903cc9194714a9b293ad482.tar.xz |
Added hotkey to rename current workspace
Diffstat (limited to 'src/ui/fixedtip.h')
0 files changed, 0 insertions, 0 deletions