Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Comments

Close side panel

Merge latest changes into master#29

Merged
JakubVanek merged 64 commits intomasterev3dev-lang-java/installer:masterfrom
developev3dev-lang-java/installer:developCopy head branch name to clipboard
Nov 10, 2018
Merged

Merge latest changes into master#29
JakubVanek merged 64 commits intomasterev3dev-lang-java/installer:masterfrom
developev3dev-lang-java/installer:developCopy head branch name to clipboard

Conversation

@jabrena
Copy link
Member

@jabrena jabrena commented Nov 10, 2018

No description provided.

jabrena and others added 30 commits June 18, 2017 20:25
Using this way it is possible to install more version later.
Detected new Usecase: Reinstall java.
Current module doesn´t support it.
Testing JDK9 to execute vmbenchmark
Updating Script for EV3 Brick to install OpenJDK JRI 10
Add support for OpenJDK 10 on Raspberry Pi based platforms
@JakubVanek JakubVanek merged commit 9326802 into master Nov 10, 2018
@JakubVanek JakubVanek deleted the develop branch November 10, 2018 15:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

Morty Proxy This is a proxified and sanitized view of the page, visit original site.