diff options
author | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 08:03:34 +0800 |
---|---|---|
committer | Li Haoyi <haoyi.sg@gmail.com> | 2019-07-08 08:03:34 +0800 |
commit | 903107268580615c9545606b47d9891f30e61b52 (patch) | |
tree | 85fc9b1daae7befe0af23c5ba2c30f31c44e7a86 /ci/test-mill-bootstrap.sh | |
parent | de1e0e4ae3ef0b65075c9896ea25a9b23e2376ee (diff) | |
download | mill-903107268580615c9545606b47d9891f30e61b52.tar.gz mill-903107268580615c9545606b47d9891f30e61b52.tar.bz2 mill-903107268580615c9545606b47d9891f30e61b52.zip |
make use of mill file if it exists and we're not already using it
Diffstat (limited to 'ci/test-mill-bootstrap.sh')
0 files changed, 0 insertions, 0 deletions