Settingtypes.txt: Various improvements (#9047)
authorParamat <paramat@users.noreply.github.com>
Mon, 14 Oct 2019 02:30:54 +0000 (03:30 +0100)
committerGitHub <noreply@github.com>
Mon, 14 Oct 2019 02:30:54 +0000 (03:30 +0100)
commit2dd4f8d3fe666eb1d86050e0f5efa44c848b1a4a
treee22009882f8a89934862caa23e5282254b97e3e6
parent0df646e0689b5324c7bdb13205c2a63e42ebe8e8
Settingtypes.txt: Various improvements (#9047)
builtin/settingtypes.txt