Skip to content

Commit

Permalink
Fix mill version defaults
Browse files Browse the repository at this point in the history
  • Loading branch information
Gedochao committed Nov 10, 2023
1 parent ca4b071 commit 1196433
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion mill.bat
Original file line number Diff line number Diff line change
Expand Up @@ -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.10.12"
set "DEFAULT_MILL_VERSION=0.11.5"
)

set "MILL_REPO_URL=https://github.com/com-lihaoyi/mill"
Expand Down
2 changes: 1 addition & 1 deletion millw
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@
set -e

if [ -z "${DEFAULT_MILL_VERSION}" ] ; then
DEFAULT_MILL_VERSION=0.10.12
DEFAULT_MILL_VERSION=0.11.5
fi


Expand Down

0 comments on commit 1196433

Please sign in to comment.