diff install.cmd @ 380:52ea57ca22e1

Add new scratch plugin.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 25 Feb 2017 21:31:56 -0800
parents 5ae26582454e
children c6da0c9f40ae
line wrap: on
line diff