diff install.py @ 427:9a046e8fe5dd

Better way to figure out the OS in Fish.
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 29 Mar 2018 12:56:11 -0700
parents 350f7a55ff33
children e0bb52007402
line wrap: on
line diff