log install.py @ 463:b7eb9c9bd3b4

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