diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-21 23:09:14 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-21 23:09:14 +0100 |
| commit | ee1c9e611b011495f1587f5d07c464650b5749d5 (patch) | |
| tree | 03d8e606636bfbe10f99e3397abc72b96a11bece /project.properties | |
| parent | 17960c0526902be5eac2fe6ec098c300928305c4 (diff) | |
more otr fixes
Diffstat (limited to 'project.properties')
0 files changed, 0 insertions, 0 deletions