diff build/update_subrepos.cmd @ 197:4d34bf15a478

Don't clear CtrlP cache on exit, fix Windows issues.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 25 Jul 2014 09:47:05 -0700
parents 2f5ac9cd3a5e
children
line wrap: on
line diff