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 /src/server/util | |
| 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 'src/server/util')
0 files changed, 0 insertions, 0 deletions