Closed KrisThielemans closed 3 months ago
I've chosen the safe route here, and just recommend to delete more files. We could instead do this by default and add an option (e.g. '--preserve') for developers to prevent that, but I don't have time for that, and neither do you. So I suggest to merge this.
I'm going to merge this. If we experience problems when building the VM, we'll fix it then.
Fixes #869