diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 09:22:14 +0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 09:22:14 +0800 |
commit | 4860ed764066c17f4cfbcf6d7ffa2fef24e69087 (patch) | |
tree | df0fa859af63e948348a377b3eaacec8f440ba4c /.mill-version | |
parent | 7f30eccd7633d6ba4e4ec59f0f83a8f06de15113 (diff) | |
download | mill-4860ed764066c17f4cfbcf6d7ffa2fef24e69087.tar.gz mill-4860ed764066c17f4cfbcf6d7ffa2fef24e69087.tar.bz2 mill-4860ed764066c17f4cfbcf6d7ffa2fef24e69087.zip |
tweak launcher script to fix scraping of mill version
Diffstat (limited to '.mill-version')
-rw-r--r-- | .mill-version | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/.mill-version b/.mill-version deleted file mode 100644 index 2b7c5ae0..00000000 --- a/.mill-version +++ /dev/null @@ -1 +0,0 @@ -0.4.2 |