Skip to content

Fix IntelliJ settings#90

Draft
gaurav wants to merge 2 commits into
masterfrom
fix-intellij
Draft

Fix IntelliJ settings#90
gaurav wants to merge 2 commits into
masterfrom
fix-intellij

Conversation

@gaurav

@gaurav gaurav commented Jul 7, 2021

Copy link
Copy Markdown
Member

IntelliJ gets confused by this repository because different parts of it appear to use different versions of Java. This PR merges the two maven.compiler.source/target values with the new java --release parameter. This seems to make IntelliJ happy.

Base automatically changed from improve-documentation to master July 8, 2021 02:43
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.

1 participant