fix gradle wrapper

This commit is contained in:
Alexander Nozik 2023-01-23 20:34:00 +03:00
parent da7cf45f8a
commit f52e1203c3
2 changed files with 4 additions and 1 deletions

View File

@ -1,5 +1,5 @@
distributionBase=GRADLE_USER_HOME
distributionPath=wrapper/dists
distributionUrl=https\://services.gradle.org/distributions/gradle-7.4.2-bin.zip
distributionUrl=https\://services.gradle.org/distributions/gradle-7.6-bin.zip
zipStoreBase=GRADLE_USER_HOME
zipStorePath=wrapper/dists

View File

@ -70,6 +70,9 @@ public fun DataTree<*>.resolveHtml(name: Name): HtmlData? {
}
}
context(SnarkContext)
public fun DataTree<*>.resolveHtml(name: String): HtmlData? = resolveHtml(name.parseAsName())
/**
* Find all Html blocks using given name/meta filter
*/