diff options
| author | Christian Klinger | 2016-05-30 12:28:21 +0200 |
|---|---|---|
| committer | Christian Klinger | 2016-05-30 12:28:21 +0200 |
| commit | a7f5105baba838dfeb0492530bead41abc69b226 (patch) | |
| tree | 48d625f3593098ef61fd956f70f4233dd626dead /gui | |
| parent | Added examMode to server (this also changes the style of the toolbar) (diff) | |
| download | pvs2-a7f5105baba838dfeb0492530bead41abc69b226.tar.gz pvs2-a7f5105baba838dfeb0492530bead41abc69b226.tar.xz pvs2-a7f5105baba838dfeb0492530bead41abc69b226.zip | |
Added "--exam-mode" option.
This might break things because the old way to specify a session is not valid
anymore. Please use "--session=1234" to specify session.
Diffstat (limited to 'gui')
0 files changed, 0 insertions, 0 deletions