diff options
| author | Bartosz Krasiński <bartosz@krasinski.biz> | 2016-11-12 20:58:31 +0100 |
|---|---|---|
| committer | Bartosz Krasiński <bartosz@krasinski.biz> | 2016-11-12 21:15:11 +0100 |
| commit | 209fc4c7b68db69103630ff87c90f840afe7d1c1 (patch) | |
| tree | 01b1b3faf1acb61121bef3280e8ed7f5c2ce1035 /project/build.properties | |
| parent | c4f2024188bc7410e1365d0c54b1a04e41a662ff (diff) | |
| download | dotty-209fc4c7b68db69103630ff87c90f840afe7d1c1.tar.gz dotty-209fc4c7b68db69103630ff87c90f840afe7d1c1.tar.bz2 dotty-209fc4c7b68db69103630ff87c90f840afe7d1c1.zip | |
Report git-hash used to package the distribution - Closes #1319
Diffstat (limited to 'project/build.properties')
0 files changed, 0 insertions, 0 deletions