Skip to content
Snippets Groups Projects
Unverified Commit d98ad817 authored by PtrMan's avatar PtrMan Committed by GitHub
Browse files

Merge pull request #81 from opennars/pr_openjdk8 

Update: travis: changed to openjdk8
parents b8cf1e13 dfcd8457
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
Showing
with 1 addition and 1 deletion
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment