diff options
| author | Daniel Gultsch <daniel@gultsch.de> | 2017-01-09 19:52:46 +0100 |
|---|---|---|
| committer | Daniel Gultsch <daniel@gultsch.de> | 2017-01-09 19:52:46 +0100 |
| commit | b09b8136d243ae945a09ff54b577564b7fa8e8e8 (patch) | |
| tree | a11bcbf4c51722cbfe287f3f68804ee0ce15fe2a /project.properties | |
| parent | a994d8f847552eadb61d7a41b94fe4d822003c9e (diff) | |
version bump to 1.15.3 + changelog1.15.3
Diffstat (limited to 'project.properties')
0 files changed, 0 insertions, 0 deletions