tree ebe88f50ed3a54bf2a55599280ca203df290e565
parent 3fdea95307966b5b1e5e6b6bbc453e8fb6bac4b6
author Georg Brandl <georg@python.org> 1414566267 +0100
committer Georg Brandl <georg@python.org> 1414566267 +0100

Remove a few config values that keep the default values, move values to the correct section