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 | |
| parent | 88722cd9eee2cb00bc6739afc02c9ab4bd6f5992 (diff) | |
| download | spacebeans-2077acfdfb0845c7191dc1ce31e4d434361ac933.tar.gz spacebeans-2077acfdfb0845c7191dc1ce31e4d434361ac933.zip | |
Updated 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 |