diff options
| author | Christian Klinger | 2016-08-22 17:58:21 +0200 |
|---|---|---|
| committer | Christian Klinger | 2016-08-22 17:58:21 +0200 |
| commit | df9d55031a25ea873b924b2fca7230f0f00e5ea8 (patch) | |
| tree | c56b188fee2ca79c3767bc2d977f284165d867e0 /sample_configuration | |
| parent | added a check so that lockDesktop.sh is not called too often. (diff) | |
| download | pvs2-df9d55031a25ea873b924b2fca7230f0f00e5ea8.tar.gz pvs2-df9d55031a25ea873b924b2fca7230f0f00e5ea8.tar.xz pvs2-df9d55031a25ea873b924b2fca7230f0f00e5ea8.zip | |
this is supposed to fix bug #2950 but doesn't.
Diffstat (limited to 'sample_configuration')
0 files changed, 0 insertions, 0 deletions