diff install.py @ 464:2279514d82e4

Move local git config stuff to local file.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 22 Mar 2019 17:32:20 -0700
parents 1172b8484c68
children 3b9394a0a58b
line wrap: on
line diff