diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2014-09-29 18:28:13 +0200 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2014-09-29 18:28:13 +0200 |
| commit | 511b7a53f41f8254449e6c2c6eff795f728e7a33 (patch) | |
| tree | 4ff79e0bd9f041f698a0d6787069c67f0bf53e0e /project.properties | |
| parent | 87010e6094cc35ece98d3beadbbfbc59ea0a25b3 (diff) | |
notifiy only when necessary
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions