diff options
author | Juan J. Martinez <jjm@usebox.net> | 2022-07-07 21:18:40 +0100 |
---|---|---|
committer | Juan J. Martinez <jjm@usebox.net> | 2022-07-07 21:18:40 +0100 |
commit | 2077acfdfb0845c7191dc1ce31e4d434361ac933 (patch) | |
tree | 3720d83d5951972ab3ba7fd7fcbe2b43cf9ba086 /mill | |
parent | 88722cd9eee2cb00bc6739afc02c9ab4bd6f5992 (diff) | |
download | spacebeans-2077acfdfb0845c7191dc1ce31e4d434361ac933.tar.gz spacebeans-2077acfdfb0845c7191dc1ce31e4d434361ac933.zip |
Updated mill
Diffstat (limited to 'mill')
-rwxr-xr-x | mill | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -3,7 +3,7 @@ # This is a wrapper script, that automatically download mill from GitHub release pages # You can give the required mill version with MILL_VERSION env variable # If no version is given, it falls back to the value of DEFAULT_MILL_VERSION -DEFAULT_MILL_VERSION=0.10.3 +DEFAULT_MILL_VERSION=0.10.5 set -e |