diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2014-05-23 10:15:58 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2014-05-23 10:15:58 +0200 |
| commit | 8133dcd881af0d89b0ed32d7da944b425975597a (patch) | |
| tree | a15e972238f00af82714da22fc3a31f47dff900a /project.properties | |
| parent | a5d54d70eed7f8c6ddfbd6f4627d0f497aabcb37 (diff) | |
fixed possible npe
Diffstat (limited to 'project.properties')
0 files changed, 0 insertions, 0 deletions