Settingtypes.txt: Various language improvements, document stable mapgens (#7801)
authorParamat <paramat@users.noreply.github.com>
Sat, 20 Oct 2018 08:35:39 +0000 (09:35 +0100)
committerGitHub <noreply@github.com>
Sat, 20 Oct 2018 08:35:39 +0000 (09:35 +0100)
commit31a6dd956003e1dc69ab4bf9d5461e5f4c47b2f6
treea9d651bab9772dc9e33e0f2c33f5fa553f923a7f
parente369eb1a9b2d65629d444fb305925e0d1b859b6f
Settingtypes.txt: Various language improvements, document stable mapgens (#7801)
builtin/settingtypes.txt