log vext @ 1715:05b6e20e25d9 output-type-uri

age author description
Wed, 07 Jun 2017 09:00:47 +0100 Chris Cannam Make configure use vext vext