diff options
author | Jakob Odersky <jakob@odersky.com> | 2016-06-10 18:42:19 -0700 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2016-06-10 18:42:19 -0700 |
commit | 8b04ff8211ba4d9aee0203748803f19a7148f789 (patch) | |
tree | fa2a44b08afa84f534cdc3ff3b4f5e7f732d459a /project/build.properties | |
parent | dbc5b708e005509a655c3bda15d2cb090b6cfa1f (diff) | |
download | mavigator-8b04ff8211ba4d9aee0203748803f19a7148f789.tar.gz mavigator-8b04ff8211ba4d9aee0203748803f19a7148f789.tar.bz2 mavigator-8b04ff8211ba4d9aee0203748803f19a7148f789.zip |
Upgrade flow
Diffstat (limited to 'project/build.properties')
0 files changed, 0 insertions, 0 deletions