diff install.cmd @ 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 2e1f9a40a36a
children 1ba0daaa8e4e
line wrap: on
line diff