diff options
author | Ivan Dubrov <dubrov.ivan@gmail.com> | 2016-10-23 08:43:28 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-23 08:43:28 -0700 |
commit | 0e95ef9bc5305f00209d376157457de8701125f2 (patch) | |
tree | 3ecb96ea29e9253d6edb94ce5115054b9b72ae30 /gradle | |
parent | 3a63c5506ac86d8213b6cf84a0fec5c19bdf527c (diff) | |
parent | 62f337f0943a87e0db36b01835bb61937909139c (diff) | |
download | dcevm-0e95ef9bc5305f00209d376157457de8701125f2.tar.gz dcevm-0e95ef9bc5305f00209d376157457de8701125f2.zip |
Merge pull request #89 from VladRassokhin/jre-dir-no-prefix
Do not require jre directory to be prefixed with 'jre'
Diffstat (limited to 'gradle')
0 files changed, 0 insertions, 0 deletions