z3-z3-4.13.0.cmake.modules.DotnetImports.props.in Maven / Gradle / Ivy
The newest version!
${_DN_OUTPUT_PATH}/
${_DN_XPLAT_LIB_DIR}/
${_DN_VERSION}
${_DN_CUSTOM_BUILDPROPS}
${_DN_OUTPUT_PATH}/
${_DN_XPLAT_LIB_DIR}/
${_DN_VERSION}
${_DN_CUSTOM_BUILDPROPS}