diff options
| author | Björn Hagemeister | 2014-07-30 16:18:47 +0200 |
|---|---|---|
| committer | Björn Hagemeister | 2014-07-30 16:18:47 +0200 |
| commit | f3b457144940f39c0977f68c6ce546de01d0ca76 (patch) | |
| tree | d095c58efac841894fdf34be5144912e5c5472b8 /gui | |
| parent | Added user warning before second or more change of sessionName. (diff) | |
| download | pvs2-f3b457144940f39c0977f68c6ce546de01d0ca76.tar.gz pvs2-f3b457144940f39c0977f68c6ce546de01d0ca76.tar.xz pvs2-f3b457144940f39c0977f68c6ce546de01d0ca76.zip | |
Fixed unintended bug from yesterday.
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions