Merge pull request #112 from davidgiven/dtrg-te
authorDavid Given <dg@cowlark.com>
Sat, 1 Sep 2018 09:49:28 +0000 (11:49 +0200)
committerGitHub <noreply@github.com>
Sat, 1 Sep 2018 09:49:28 +0000 (11:49 +0200)
commit7dc4c1652102407aaa44757b0e2a696f48375c42
tree9e3913b9de7512a9d49c190e76017f01b4bbd8c8
parent5f83fd85dc7be77522fb56398f2686504e742473
parent6f74f1caf38c4ba3f9ada5ac7d686f6ffaf93c15
Merge pull request #112 from davidgiven/dtrg-te

Add tea-ci CI for Windows builds