log vext @ 1707:a4da817dc221 vext

age author description
Wed, 07 Jun 2017 09:00:47 +0100 Chris Cannam Make configure use vext vext