diff options
| author | Bernardo <[email protected]> | 2019-01-19 00:15:22 +0000 |
|---|---|---|
| committer | Aleksey Kladov <[email protected]> | 2019-01-26 08:46:27 +0000 |
| commit | fb1d748a2c49597934337432a78be2a5a098ca0e (patch) | |
| tree | 3c632e6a95726fea39c3756d767c9d1cdd06f11a /editors | |
| parent | f181e36a44d1998d3239f09365b16bfea50288a4 (diff) | |
actually drop watcher, use parking_lot::Mutex
Diffstat (limited to 'editors')
0 files changed, 0 insertions, 0 deletions