comp500 37cc68a9f7 Significantly improve refreshing performance
Looping through every file on every file update *and* cleaning + fromslash is sloww with many files
(ideally, we'd have a map to look up the file, but this is already significantly faster)
2023-03-24 01:00:05 +00:00
..
2022-05-21 14:29:59 +01:00