diff options
| author | David Gay <david@davidgay.org> | 2021-05-27 19:24:12 -0400 |
|---|---|---|
| committer | David Gay <david@davidgay.org> | 2021-05-27 19:24:12 -0400 |
| commit | 09dbf09b5fa6d106a57cdb601c6ed6c23e00f7dd (patch) | |
| tree | 26ff703ba99ef0821f0f74539378e40e18dd85af /config | |
| parent | d9f829e7a723ae36367280950dcbb7edf394e9a2 (diff) | |
Make timer more robust, and `stop_activity` if you can't do it
Diffstat (limited to 'config')
0 files changed, 0 insertions, 0 deletions