diff install.py @ 419:c4077384f55f

Use `InputMono` or `Hack` if they're installed.
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 21 Jan 2018 12:51:19 -0800
parents 6dbef23ca6bd
children 350f7a55ff33
line wrap: on
line diff