Merge pull request #7 from davidgiven/travis
authorDavid Given <dg@cowlark.com>
Sun, 30 Oct 2016 14:59:04 +0000 (15:59 +0100)
committerGitHub <noreply@github.com>
Sun, 30 Oct 2016 14:59:04 +0000 (15:59 +0100)
commitdb03785109b87598dc853b06e8322eb1cad0570f
treeefd7d2e45132d6153610b080e6a7bf1d1f08b4e4
parent34c4cfee8fc9da74f6ce92b8ed0c77f4f6884daf
parent9b6a5e3ae71431ce0dedf74ca5e9dfab5f0cf5b8
Merge pull request #7 from davidgiven/travis

Use built-in Lua rather than relying on a system one