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