chiark / gitweb /
dot/vm: Actually provide a value for `vm-delete-empty-folders'.