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