# HG changeset patch
# User Jeff Hammel <k0scist@gmail.com>
# Date 1390324415 28800
# Node ID f7ff0054c7c2290eea5cbefb8f966a0552e6adcc
# Parent  b563a9c1f2b703da09f51b824905cb25f1a44479
chmod u+x

diff -r b563a9c1f2b7 -r f7ff0054c7c2 python/install_config.py