log vext @ 1720:3505d9536367 vext

age author description
Mon, 26 Jun 2017 11:54:23 +0100 Chris Cannam Update vext output-type-uri
Wed, 07 Jun 2017 09:00:47 +0100 Chris Cannam Make configure use vext vext