log vext @ 1731:5185ee58c44b vext

age author description
Wed, 28 Jun 2017 13:20:05 +0100 Chris Cannam Update vext; providers -> services vext
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