commit | be751d1603eb0aa7c1fc03fcc65b5e9cd9a2491a | [log] [tgz] |
---|---|---|
author | Tom Pollard <tom.pollard@codethink.co.uk> | Tue Nov 03 12:39:35 2020 +0000 |
committer | Tom Pollard <tom.pollard@codethink.co.uk> | Tue Nov 03 12:39:35 2020 +0000 |
tree | 8857980a2db01b13d7579b98792b324b39c5a3ef | |
parent | 7fee0e64ffd2b5dcfd1766df8ed3a692e86a640d [diff] |
WIP: Make default platform properties optional