diff git/gitconfig @ 438:3d999fcf62c6

Check for subrepo directories with no repos in them.
author Ludovic Chabant <ludovic@chabant.com>
date Sat, 17 Feb 2018 15:04:36 -0800
parents 4cbf9f8b4a37
children f464cf177151
line wrap: on
line diff