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 2023-01-13 17:02:01 +01:00
parent 2098259aa2
commit d63f20a24a
Signed by: Johannes
GPG Key ID: E76429612C2929F4
1 changed files with 1 additions and 1 deletions

View File

@ -5,7 +5,7 @@ plugins {
`java-library`
}
val manifoldVersion by extra("2022.1.33")
val manifoldVersion by extra("2022.1.35")
dependencies {
implementation("systems.manifold:manifold-props-rt:$manifoldVersion")