diff install.sh @ 173:393449253540

Use the new notation for `ctrlp` setting.
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 10 Jul 2014 10:58:36 -0700
parents 70d3ec19bef2
children 1ba0daaa8e4e
line wrap: on
line diff