diff options
| author | Christian Klinger | 2016-08-26 12:04:19 +0200 |
|---|---|---|
| committer | Christian Klinger | 2016-08-26 12:04:19 +0200 |
| commit | f3525d5882c9dded587925004ea8ec7e622e257f (patch) | |
| tree | 49b8e433649110a32012d858802fc593709debcc /sample_configuration/lock.sh | |
| parent | this is supposed to fix bug #2950 but doesn't. (diff) | |
| download | pvs2-f3525d5882c9dded587925004ea8ec7e622e257f.tar.gz pvs2-f3525d5882c9dded587925004ea8ec7e622e257f.tar.xz pvs2-f3525d5882c9dded587925004ea8ec7e622e257f.zip | |
fix problem with ghost click.
Diffstat (limited to 'sample_configuration/lock.sh')
0 files changed, 0 insertions, 0 deletions