bump manifold

2023-05-05 16:47:12 +02:00 · 2023-05-05 16:47:12 +02:00 · 7d8ee38c00
parent 2520218096
commit 7d8ee38c00
1 changed files with 1 additions and 1 deletions
--- a/convention/src/main/kotlin/jf.manifold.gradle.kts
+++ b/convention/src/main/kotlin/jf.manifold.gradle.kts
@ -5,7 +5,7 @@ plugins {
    `java-library`
 }

-val manifoldVersion by extra("2023.1.3")
+val manifoldVersion by extra("2023.1.7")

 dependencies {
    implementation("systems.manifold:manifold-props-rt:$manifoldVersion")