blob: 73b4d59656721cfa64ee9155271df94b789b4f5b (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
# SPDX-FileCopyrightText: 2023 The Refinery Authors <https://refinery.tools/>
#
# SPDX-License-Identifier: Apache-2.0
file.encoding=UTF-8
group=tools.refinery.z3
org.gradle.configuration-cache=false
org.gradle.parallel=true
version=4.12.6
|