diff options
author | Manuel Schneider | 2014-07-22 20:05:35 +0200 |
---|---|---|
committer | Manuel Schneider | 2014-07-22 20:05:35 +0200 |
commit | 18803183017954b651ec716a09abd0355c6c88cd (patch) | |
tree | 559c18d7c84b05a1a7b1cfcb226acaa96f0cdc29 /gui/server_normal/mainwindow.ui | |
parent | Fix TutorToStudent can't toggle bug. (diff) | |
download | pvs2-18803183017954b651ec716a09abd0355c6c88cd.tar.gz pvs2-18803183017954b651ec716a09abd0355c6c88cd.tar.xz pvs2-18803183017954b651ec716a09abd0355c6c88cd.zip |
Again fix oneclick-source-change-lock-bug. Note to myself: Never ever violate DRY again. NEVER!
Diffstat (limited to 'gui/server_normal/mainwindow.ui')
0 files changed, 0 insertions, 0 deletions