]> source.dussan.org Git - dcevm.git/commit
Merge pull request #89 from VladRassokhin/jre-dir-no-prefix
authorIvan Dubrov <dubrov.ivan@gmail.com>
Sun, 23 Oct 2016 15:43:28 +0000 (08:43 -0700)
committerGitHub <noreply@github.com>
Sun, 23 Oct 2016 15:43:28 +0000 (08:43 -0700)
commit0e95ef9bc5305f00209d376157457de8701125f2
tree3ecb96ea29e9253d6edb94ce5115054b9b72ae30
parent3a63c5506ac86d8213b6cf84a0fec5c19bdf527c
parent62f337f0943a87e0db36b01835bb61937909139c
Merge pull request #89 from VladRassokhin/jre-dir-no-prefix

Do not require jre directory to be prefixed with 'jre'