log configure @ 1745:3587df7758e7

age author description
Wed, 07 Jun 2017 10:05:47 +0100 Chris Cannam Update Vext logic vext
Wed, 07 Jun 2017 09:54:57 +0100 Chris Cannam Use vext only if we are in a Mercurial checkout vext
Wed, 07 Jun 2017 09:00:47 +0100 Chris Cannam Make configure use vext vext