Add repeat_dig_time setting (#14295)
commitbb6782ca58a8a23709cfe0b0e9083ef8f50377b7
authorElias Åström <ryvnf@riseup.net>
Sat, 30 Mar 2024 10:05:58 +0000 (30 11:05 +0100)
committerGitHub <noreply@github.com>
Sat, 30 Mar 2024 10:05:58 +0000 (30 11:05 +0100)
treebfe25b15d356b81fd82892192ba11e4c9756c3da
parentd307d01b18b84a117ecd2c427cec85595cf72ea3
Add repeat_dig_time setting (#14295)
builtin/settingtypes.txt
src/client/game.cpp
src/defaultsettings.cpp