diff vext @ 1741:287a1d388b8d

Update subrepos, add to ignore list
author Chris Cannam
date Thu, 20 Jul 2017 15:01:42 +0100
parents 669bd699082d
children bf4a7015033e
line wrap: on
line diff