diff build/update_subrepos.cmd @ 454:54bdd1f0f873

Make OS-specific configs for Git.
author Ludovic Chabant <ludovic@chabant.com>
date Tue, 13 Nov 2018 09:55:24 -0800
parents 2f5ac9cd3a5e
children
line wrap: on
line diff