diff options
| author | Rémi Verschelde <remi@verschelde.fr> | 2022-05-04 09:02:33 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-04 09:02:33 +0200 |
| commit | 5022efef02cd671010438ca467e7e4411d177faa (patch) | |
| tree | 11bab1eea284fe82ec6f2f76dbe31c866958e2c0 /platform/linuxbsd/gl_manager_x11.h | |
| parent | ed5e0499ff9b043e52086d6e29031b3ab9c9ca32 (diff) | |
| parent | f3c1232c5984a540c33841694469febbe951e7a8 (diff) | |
Merge pull request #51682 from mdavisprog/os-is-process-running
OS::is_process_running function.
Diffstat (limited to 'platform/linuxbsd/gl_manager_x11.h')
0 files changed, 0 insertions, 0 deletions