tweak thirdparty waf-setup for arch
authorGood Guy <good1.2guy@gmail.com>
Tue, 7 Aug 2018 16:22:35 +0000 (10:22 -0600)
committerGood Guy <good1.2guy@gmail.com>
Tue, 7 Aug 2018 16:22:35 +0000 (10:22 -0600)

No differences found