diff options
| author | Christoph Schulthess | 2017-04-24 14:05:41 +0200 |
|---|---|---|
| committer | Christoph Schulthess | 2017-04-24 14:05:41 +0200 |
| commit | 926ba5a6734d9ab298d26ad07d7d53bc1e405dbd (patch) | |
| tree | 3e0e14e7dac9c6b60c0803866df733c15d44c02b /gui | |
| parent | made button checkable (diff) | |
| download | pvs2-926ba5a6734d9ab298d26ad07d7d53bc1e405dbd.tar.gz pvs2-926ba5a6734d9ab298d26ad07d7d53bc1e405dbd.tar.xz pvs2-926ba5a6734d9ab298d26ad07d7d53bc1e405dbd.zip | |
toolbar waits for finish
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions