log install.py @ 469:07ee0d517d92

age author description
Tue, 13 Nov 2018 09:55:59 -0800 Ludovic Chabant Add global `gitignore` file.