log vext @ 1747:ffe59b457557

age author description
Fri, 06 Oct 2017 13:28:35 +0100 Chris Cannam Update vext
Thu, 13 Jul 2017 15:34:33 +0100 Chris Cannam Update vext
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