log install.py @ 467:d3ff438a4f8b

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