log vext @ 1807:dc4e6eb475ed

age author description
Fri, 09 Mar 2018 09:00:48 +0000 Chris Cannam Update Vext
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