Merge pull request #12019 from cotequeiroz/jamvm_host
authorEneas U de Queiroz <cotequeiroz@gmail.com>
Fri, 1 May 2020 12:54:26 +0000 (09:54 -0300)
committerGitHub <noreply@github.com>
Fri, 1 May 2020 12:54:26 +0000 (09:54 -0300)
commitdf229aaddd00ff476a960314063fd387c1e87a54
treeac813e949f3e0d62e188785c51333262d6838ce3
parentb83e83ca1786178bfa8587c09565402570d8ee75
parent4201a4a4fb28687702cadf32c9b7acb999aa89d0
Merge pull request #12019 from cotequeiroz/jamvm_host

jamvm: remove unneeded host build, and the package itself