log install.py @ 415:e57b012539d5

age author description
Wed, 10 Jan 2018 00:00:00 -0800 Ludovic Chabant Replace subrepos with an install script. Finally.