Merge pull request #11035 from jefferyto/scons-local
authorRosen Penev <redacted>
Fri, 17 Jan 2020 00:47:19 +0000 (16:47 -0800)
committerGitHub <redacted>
Fri, 17 Jan 2020 00:47:19 +0000 (16:47 -0800)
commit621e5a69a54346d83300690d5c8ed9df50cf32b2
tree7db94f20fb794ec91d2fd141a63365d49889f777
parente3f278d39a22b0721308aca21d2277a59f748ed4
parent644a16f962be7e14214efc024a59e08d067215dc
Merge pull request #11035 from jefferyto/scons-local

scons: Switch to standalone version, update to 3.1.2
git clone https://git.99rst.org/PROJECT