log vext @ 1772:128c4544036d

age author description
2018-03-09 Chris Cannam Update Vext
2017-10-06 Chris Cannam Update vext
2017-07-13 Chris Cannam Update vext
2017-06-28 Chris Cannam Update vext; providers -> services vext
2017-06-26 Chris Cannam Update vext output-type-uri
2017-06-07 Chris Cannam Make configure use vext vext