Removed monitor due to freezes on MacOS/Ubuntu 13 x64
git-svn-id: https://www2.in.tum.de/repos/ttt/trunk@121 0463f305-d864-43cb-8a47-61cf597d4139
Please register or sign in to comment
git-svn-id: https://www2.in.tum.de/repos/ttt/trunk@121 0463f305-d864-43cb-8a47-61cf597d4139