log install.py @ 459:b302f58a56aa

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