diff options
| author | Jannis M. Hoffmann <jannis.hoffmann@rwth-aachen.de> | 2022-05-03 18:41:21 +0200 |
|---|---|---|
| committer | Jannis M. Hoffmann <jannis.hoffmann@rwth-aachen.de> | 2022-05-03 18:41:21 +0200 |
| commit | 0afc24fdc102776e5e1ac12c25f0e145932e1166 (patch) | |
| tree | ccacb5619fa2f780f6b6367e0b6943b33d87c6a7 /README.md | |
| parent | a6e6f8be88a93699765f25aee0e6109a3eb0b307 (diff) | |
'die' propagates automatically if empty
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions