diff options
| author | Ben Morris <ben@bendmorris.com> | 2021-01-09 18:48:40 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-01-10 03:48:40 +0100 |
| commit | b402cb19b208dba0fe9c3c530363f41710195d65 (patch) | |
| tree | 8799776ea7e74b7fb046e0e23df093c747c3dcef /src/dolphin/license_dolphin.txt | |
| parent | 30a0569c87faf39d7de7912038c44fcbe05db255 (diff) | |
quit on sigint (#934)
* quit on sigint
* formatting
Diffstat (limited to 'src/dolphin/license_dolphin.txt')
0 files changed, 0 insertions, 0 deletions