diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2020-01-10 15:51:16 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-10 15:51:16 +0100 |
commit | a24aa591af50408551b7310b2d8cee8969850c9a (patch) | |
tree | 132fce68fce1042e81d132003bb2d5a717e37717 /modules | |
parent | c4601153694ed43fafbf88bcf85a9a74c47dda98 (diff) | |
parent | 74ae1ca61648004a4a3ca5d32d760d422f941600 (diff) |
Merge pull request #34991 from Calinou/doc-os-is-debug-build
Improve the `OS.is_debug_build()` documentation
Diffstat (limited to 'modules')
0 files changed, 0 insertions, 0 deletions