diff install.py @ 491:ce7e5b759a39

New stuff to install.
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 19 Oct 2021 18:02:27 -0700
parents 5bbc05a69f4c
children b4d2eca00197
line wrap: on
line diff