Merge pull request #7920 from daniel-santos/jamvm
authorHannu Nyman <hannu.nyman@iki.fi>
Sun, 13 Jan 2019 08:33:14 +0000 (10:33 +0200)
committerGitHub <noreply@github.com>
Sun, 13 Jan 2019 08:33:14 +0000 (10:33 +0200)
commit39cfa335d68af690ed767acc24dd6300b75e53c5
tree22ae8872452cd2d97ce2e4241d6ce401752d5a99
parente0eaeba5b873c82e2894c2730e2916cc7dcd3762
parent69c5f1dac6afb7a84de5a4c7df8ff5199f5b8903
Merge pull request #7920 from daniel-santos/jamvm

jamvm: Clarify and clean up package description