diff options
| author | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-25 18:12:27 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel.gultsch@rwth-aachen.de> | 2014-03-25 18:12:27 +0100 |
| commit | 956b646e2a02130d45d59efa8dbac5c1daabb255 (patch) | |
| tree | 854ecfc8172698079f7ca511f8f449da3d9783e6 /project.properties | |
| parent | 0b9e089ac63b0743619893e30c4c612516661b23 (diff) | |
more srv lookup fixes
Diffstat (limited to 'project.properties')
0 files changed, 0 insertions, 0 deletions