diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-04-21 20:39:57 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-04-21 20:39:57 +0200 |
| commit | d151ad90311f74df8bcd49ad3c9b1e0bc71423ec (patch) | |
| tree | 430e18eb802b29606b1b26b9ed4494b2e3ae46fe /project.properties | |
| parent | 77da0c6b5d3d6925c8018c1eb57fb26d102a937d (diff) | |
code cleanup
Diffstat (limited to 'project.properties')
0 files changed, 0 insertions, 0 deletions