view images/icon/128/easyhg-icon.png @ 730:f1dc72b940d5

Crude way to avoid callback on a deleted watcher on exit (macOS)
author Chris Cannam
date Mon, 17 Dec 2018 10:54:29 +0000
parents 2985c2a90146
children
line wrap: on
line source
(binary:image/png)