diff options
| author | Carl Hetherington <cth@carlh.net> | 2020-10-18 00:16:25 +0200 |
|---|---|---|
| committer | Carl Hetherington <cth@carlh.net> | 2020-10-18 00:16:25 +0200 |
| commit | d0be7e3154fccdf3f2de330d9cf200e01a9f4270 (patch) | |
| tree | 8eb2378c8e939c6b4a713648977e538d01b5caaf /.gitmodules | |
| parent | cddddde3d434656588b37c8b10b366659611f352 (diff) | |
Clarify some error messages on macOS (#1837).jenkins
When we say we can't start a particular tool, it may be because it
has not even been downloaded/installed.
Diffstat (limited to '.gitmodules')
0 files changed, 0 insertions, 0 deletions