Settingtypes.txt: Rewrite documentation of 'num_emerge_threads' (#8066)
authorParamat <paramat@users.noreply.github.com>
Wed, 9 Jan 2019 08:00:50 +0000 (08:00 +0000)
committerGitHub <noreply@github.com>
Wed, 9 Jan 2019 08:00:50 +0000 (08:00 +0000)
commit630c0ea997267447d983fb5c1129c8a2c67c24e4
treee7399f43886cf31257e42de6b84d81472af0beca
parent95d4ff6d1b62945decc85003a99588bb0539c45b
Settingtypes.txt: Rewrite documentation of 'num_emerge_threads' (#8066)
builtin/settingtypes.txt