Made new branch with 1.18 and 1.17 combined (still work in progress)

2022-04-01 17:26:43 +10:30
parent 0bddc2dcac
commit 5fa3e3cb7f
24 changed files with 360 additions and 58 deletions
@@ -192,6 +192,8 @@ allprojects { p ->
        if (p != project(":core")) {
            options.compilerArgs += ['-Xplugin:Manifold']
            options.release = rootProject.java_version as Integer
+//        } else if (p == project(":core")) {
+//            options.release = 8;
        }
    }