diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-05-29 09:39:20 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-29 09:39:20 +0200 |
| commit | f65787a63e53013aab6c373f1a5381308bf46009 (patch) | |
| tree | 6a1420da1d07efb3cb7569c836268083195d1b5c /DONORS.md | |
| parent | 21686b89dac0aaba4aa3a0b4996c9d8d610360be (diff) | |
| parent | 5afe8cd78274b7dba610777e52be3cc7ef804bda (diff) | |
Merge pull request #39129 from Xrayez/exit-here
SCons: Prefer `Exit()` method over `sys.exit()`
Diffstat (limited to 'DONORS.md')
0 files changed, 0 insertions, 0 deletions