diff options
| author | Determinant <[email protected]> | 2019-07-04 00:28:30 -0400 |
|---|---|---|
| committer | Determinant <[email protected]> | 2019-07-04 00:28:30 -0400 |
| commit | 69a9bed21f18728483320e88530045180796e2ac (patch) | |
| tree | 67aa3c133ba514b55934de638cea3bca38f71d0a /.gitignore | |
| parent | 2ef9c99438e5c87651332f47c98da8d397b030e3 (diff) | |
improve dispatcher shutdown
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions