Update Mill to 0.11.13 (#3296)

Gedochao · web-flow · commit 479ec6a06e23 · 2024-11-18T12:37:21.000Z
diff --git a/.mill-version b/.mill-version
@@ -1 +1 @@
-0.11.12
+0.11.13
diff --git a/mill.bat b/mill.bat
@@ -16,7 +16,7 @@ rem but I don't think we need to support them in 2019
 setlocal enabledelayedexpansion
 
 if [!DEFAULT_MILL_VERSION!]==[] (
-    set "DEFAULT_MILL_VERSION=0.11.12"
+    set "DEFAULT_MILL_VERSION=0.11.13"
 )
 
 set "MILL_REPO_URL=https://github.com/com-lihaoyi/mill"
diff --git a/millw b/millw
@@ -14,7 +14,7 @@
 set -e
 
 if [ -z "${DEFAULT_MILL_VERSION}" ] ; then
-  DEFAULT_MILL_VERSION=0.11.12
+  DEFAULT_MILL_VERSION=0.11.13
 fi
 
 

Original file line number	Diff line number	Diff line change
`@@ -16,7 +16,7 @@ rem but I don't think we need to support them in 2019`
`16`	`16`	`setlocal enabledelayedexpansion`
`17`	`17`
`18`	`18`	`if [!DEFAULT_MILL_VERSION!]==[] (`
`19`		`- set "DEFAULT_MILL_VERSION=0.11.12"`
	`19`	`+ set "DEFAULT_MILL_VERSION=0.11.13"`
`20`	`20`	`)`
`21`	`21`
`22`	`22`	`set "MILL_REPO_URL=https://github.com/com-lihaoyi/mill"`