diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-06 08:55:51 +0200 |
|---|---|---|
| committer | Rémi Verschelde <rverschelde@gmail.com> | 2022-10-06 08:55:51 +0200 |
| commit | c2c9a582da8221eea5292620c74f96322899f0cb (patch) | |
| tree | 0cc7f02772516b8c76f08436ee18224c0e0f9ede /doc/tools/doc_status.py | |
| parent | a47f9bd53aa66b6a4a3150e1910456aec463e3df (diff) | |
| parent | 6bf02c016236c2d79b3e8cf10cfb580157535e5f (diff) | |
Merge pull request #64815 from RandomShaper/default_cpu_count
Improve default `OS`'s CPU count getter
Diffstat (limited to 'doc/tools/doc_status.py')
0 files changed, 0 insertions, 0 deletions