aboutsummaryrefslogtreecommitdiffstats
path: root/project.properties
diff options
context:
space:
mode:
authorDaniel Gultsch <daniel.gultsch@rwth-aachen.de>2014-03-26 18:56:02 +0100
committerDaniel Gultsch <daniel.gultsch@rwth-aachen.de>2014-03-26 18:56:02 +0100
commit185d4d120bed455edb42e1330c5090511ebf1dea (patch)
tree4ed9bde26aee81ca610412f02a5a98990e63d050 /project.properties
parent0c37abf1e9d9d285f601a9f8aa128bf4382685fd (diff)
fixed error with leaving mucs
Diffstat (limited to 'project.properties')
0 files changed, 0 insertions, 0 deletions