diff build/update_subrepos.cmd @ 215:02ea6f694bb8

Git config changes.
author Ludovic Chabant <ludovic@chabant.com>
date Thu, 11 Sep 2014 20:15:45 -0700
parents 2f5ac9cd3a5e
children
line wrap: on
line diff