mirror of
https://github.com/minetest/minetest.git
synced 2025-03-14 14:22:36 +01:00
Before #11646, core.copy_dir would overwrite the target if it exists. Adding core.delete_dir restores the exact same behaviour Fixes #12303