log install.py @ 465:f3a9ae9355d2

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