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 | |
| 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')
0 files changed, 0 insertions, 0 deletions