chore: update manifold
ci/woodpecker/push/gradle Pipeline was successful Details
ci/woodpecker/push/pages Pipeline was successful Details

This commit is contained in:
Johannes Frohnmeyer 2024-03-09 09:52:50 +01:00
parent 3c0b5637f7
commit a42c6df006
Signed by: Johannes
GPG Key ID: E76429612C2929F4
1 changed files with 1 additions and 1 deletions

View File

@ -4,7 +4,7 @@ plugins {
id("jf.java")
}
val manifoldVersion by extra("2023.1.10")
val manifoldVersion by extra("2023.1.33")
dependencies {
implementation("systems.manifold:manifold-props-rt:$manifoldVersion")