diff options
author | Daniel Friesel <derf@finalrewind.org> | 2019-04-12 16:35:56 +0200 |
---|---|---|
committer | Daniel Friesel <derf@finalrewind.org> | 2019-04-12 16:35:56 +0200 |
commit | 1413ec25f44075de07e7e64a0d8d3bd6fa989966 (patch) | |
tree | fa4543a1e056518861c164591ac318749155ddd6 /src/Makefile | |
parent | f8270763d6eb37e944999aa30fb648e564353a46 (diff) |
Handle no-longer-valid files in inotify-based auto-reload
Diffstat (limited to 'src/Makefile')
0 files changed, 0 insertions, 0 deletions