]> source.dussan.org Git - dcevm.git/commitdiff
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)
Do not require jre directory to be prefixed with 'jre'


Trivial merge