This repository was archived by the owner on Apr 14, 2022. It is now read-only.
Repository navigation
Turn off path watcher by default - #1841
Merged
Mikhail Arkhipov (MikhailArkhipov) merged 29 commits intoDec 16, 2019
Merged
Mikhail Arkhipov (MikhailArkhipov) merged 29 commits into
Mikhail Arkhipov (MikhailArkhipov) merged 29 commits into