Update dev-settings.el

python