diff options
| author | Ondřej Čertík <ondrej@certik.us> | 2020-01-15 23:50:37 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-01-15 23:50:37 -0700 |
| commit | 2d50ae9f8346d3d2f1516d8cbaf7c367aff1d2f8 (patch) | |
| tree | e71b092a30313bc1124ec151e7dada38049c86bd /.github | |
| parent | c08b52b764ea3cc5e4c6853529aedaccff62e8e7 (diff) | |
| parent | a9b2a4aaf145a55c54642d4592d92c739e3a4b0f (diff) | |
| download | fpm-2d50ae9f8346d3d2f1516d8cbaf7c367aff1d2f8.tar.gz fpm-2d50ae9f8346d3d2f1516d8cbaf7c367aff1d2f8.zip | |
Merge pull request #18 from certik/success
Better reporting on terminated processes
Diffstat (limited to '.github')
0 files changed, 0 insertions, 0 deletions