diff options
author | Rémi Verschelde <rverschelde@gmail.com> | 2016-11-03 00:23:55 +0100 |
---|---|---|
committer | Rémi Verschelde <rverschelde@gmail.com> | 2016-11-03 07:45:08 +0100 |
commit | cc95d4448c6005c3007c8460f09b8be1595eb3c0 (patch) | |
tree | 91d5e77f5ee1eb3883b1d03e683286bb12948c31 /CONTRIBUTING.md | |
parent | cc54189911e47ef1d432521df7d976b818123b1e (diff) |
scons: Reorder options for clarity
Also prefix all thirdparty-related toggles with `builtin`.
Diffstat (limited to 'CONTRIBUTING.md')
0 files changed, 0 insertions, 0 deletions