log vext @ 1707:a4da817dc221 vext

age author description
2017-06-07 Chris Cannam Make configure use vext vext