diff options
| author | Bert Belder <bertbelder@gmail.com> | 2021-06-29 20:39:28 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-29 14:39:28 -0400 |
| commit | 5db9f627e3b105ffc1ed43bb81732886308ddfdf (patch) | |
| tree | 4e094158c4e3ca23df188105821b6683de6dabe1 /cli/diff.rs | |
| parent | a0c0daac24c496e49e7c0abaae12f34723785a7d (diff) | |
chore: get rid of REPL timeout (#11175)
* Get rid of timeout
* Use tokio channel and reduce calls to run_event_loop
Co-authored-by: David Sherret <dsherret@gmail.com>
Diffstat (limited to 'cli/diff.rs')
0 files changed, 0 insertions, 0 deletions