diff options
author | Tobias Roeser <le.petit.fou@web.de> | 2018-12-10 11:57:03 +0100 |
---|---|---|
committer | Tobias Roeser <le.petit.fou@web.de> | 2018-12-10 12:01:44 +0100 |
commit | 5f777557f3ee76a7891c16029eb345a2c1db130c (patch) | |
tree | 16c30145c2b2a7e55aa9434db6a947b6e471227e /build.sc | |
parent | 22069941501e5de4f8d45d4044efa3ec90776fcb (diff) | |
download | mill-5f777557f3ee76a7891c16029eb345a2c1db130c.tar.gz mill-5f777557f3ee76a7891c16029eb345a2c1db130c.tar.bz2 mill-5f777557f3ee76a7891c16029eb345a2c1db130c.zip |
Added info about skipped mill server in `-i` cmdline option
See https://github.com/lihaoyi/mill/issues/497
Diffstat (limited to 'build.sc')
0 files changed, 0 insertions, 0 deletions