diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2019-07-17 12:12:39 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-17 12:12:39 +0200 |
| commit | d087a9e3283528792634de84b55a607d9b9b5137 (patch) | |
| tree | d74801a88a94fd4a6ebd93d0fcf71f97a6315d98 /.mailmap | |
| parent | 4d99e739672733d4d32c9b5bd75bd621cad6dd5c (diff) | |
| parent | b07e46c59f5f326ffa18c2e43ae8c64961e033ac (diff) | |
Merge pull request #30647 from Calinou/add-scons-platform-list
Add a `platform=list` SCons argument to list platforms
Diffstat (limited to '.mailmap')
0 files changed, 0 insertions, 0 deletions