-
- Downloads
Revert custom patch workaround for a Java 8 import handling bug
Java 11 and later have no problem with the original code, so we don't need this patch anymore.
parent
38cd8582
No related branches found
No related tags found
Checking pipeline status
Showing
- .gitignore 0 additions, 1 deletion.gitignore
- .gitlab-ci.yml 1 addition, 1 deletion.gitlab-ci.yml
- README.md 0 additions, 3 deletionsREADME.md
- build.gradle 0 additions, 25 deletionsbuild.gradle
- src/org/eventb/internal/core/parser/SubParsers.java 1 addition, 1 deletionsrc/org/eventb/internal/core/parser/SubParsers.java
Loading
Please register or sign in to comment