diff options
author | Christian Klinger | 2016-05-18 16:53:12 +0200 |
---|---|---|
committer | Christian Klinger | 2016-05-18 16:53:12 +0200 |
commit | d41aa490b2c00ffe31023b96b3daff523d4757c1 (patch) | |
tree | f1a2edb5c7db5a61d6c6073a74d3c1209fdfb25d /sample_configuration | |
parent | provided sample configuration. (diff) | |
download | pvs2-d41aa490b2c00ffe31023b96b3daff523d4757c1.tar.gz pvs2-d41aa490b2c00ffe31023b96b3daff523d4757c1.tar.xz pvs2-d41aa490b2c00ffe31023b96b3daff523d4757c1.zip |
added toolbar button to switch to manager.
The actual window switching logic is delegated to a pair of shell scripts.
Diffstat (limited to 'sample_configuration')
0 files changed, 0 insertions, 0 deletions