diff install.py @ 442:decee05a5595

Weird, Neovim doesn't have `guifont`?
author Ludovic Chabant <ludovic@chabant.com>
date Sun, 29 Apr 2018 22:54:31 -0700
parents 3d999fcf62c6
children edefbb8ea16a
line wrap: on
line diff