mirror of
https://github.com/minetest/minetest.git
synced 2025-02-25 22:33:50 +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