Configuration file for dev-lang/python-exec
