diff options
| author | Florian Dold <florian@dold.me> | 2021-02-04 15:32:26 +0100 |
|---|---|---|
| committer | Florian Dold <florian@dold.me> | 2021-02-04 15:32:26 +0100 |
| commit | 98d205badb3c2fbdf76b3ce202189042b7d4042f (patch) | |
| tree | 323198d54b62e45cfafe5d067bdc336ad4a0444b /contrib/articles/ui/figs/contract.pml | |
| parent | aefc3f26b673c38fa1ca8238c049d2739063069c (diff) | |
also report test results when parent gets killed
Diffstat (limited to 'contrib/articles/ui/figs/contract.pml')
0 files changed, 0 insertions, 0 deletions