Dungeons: Remove non-functional 'projecting dungeons' setting (#8897)
authorParamat <paramat@users.noreply.github.com>
Sun, 8 Sep 2019 16:51:34 +0000 (17:51 +0100)
committerGitHub <noreply@github.com>
Sun, 8 Sep 2019 16:51:34 +0000 (17:51 +0100)
commit4682c7be5d4e4c454c6d8a18279f60acd970da50
tree12faf8145e84185583f956e74de96fd55662b94a
parente97cbcf34d6f50483a1097ad74d8a661d9433afb
Dungeons: Remove non-functional 'projecting dungeons' setting (#8897)
builtin/settingtypes.txt
src/defaultsettings.cpp
src/mapgen/dungeongen.cpp