diff install-sh @ 1477:b60cb1637634 plugin-path-config

Setenv is nicer here
author Chris Cannam
date Thu, 07 Jun 2018 16:39:58 +0100
parents d7a2214e86e2
children
line wrap: on
line diff