log install.py @ 448:cc00cbbf5460

age author description
Mon, 12 Nov 2018 13:46:29 -0800 Ludovic Chabant Rename evolve extension's repo folder to `evolve`.