mirror of
https://github.com/minetest/minetest.git
synced 2024-12-29 17:37:30 +01:00
0090446ccf
Before #11646, core.copy_dir would overwrite the target if it exists. Adding core.delete_dir restores the exact same behaviour Fixes #12303 |
||
---|---|---|
.. | ||
async | ||
client | ||
common | ||
fstk | ||
game | ||
locale | ||
mainmenu | ||
profiler | ||
init.lua | ||
settingtypes.txt |