diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-06-11 15:45:18 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-06-11 15:45:18 +0200 |
| commit | ac4d43a31bb32c1205b44d69e87606b7f54922a1 (patch) | |
| tree | 692e5202bb25b33292000d6f6eb81a78a503ce74 /.gitignore | |
| parent | b9ae1bdd7a1ed8eee25fc37c97d74c1d6771778d (diff) | |
| parent | dd9bb11d0d38139bb32411170403171c4c92f8cf (diff) | |
Merge pull request #3073 from tweag/machine-logs
Add an option to print the logs in a machine-readable format
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions