diff options
| author | Andreas Rumpf <rumpf_a@web.de> | 2018-12-05 08:12:17 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-12-05 08:12:17 +0100 |
| commit | d21529649746e68fd6f3f955627eda3ee0017534 (patch) | |
| tree | f6b764ae9d9c855031a02649bcf90f8c63edd2ca /lib/core | |
| parent | 88dcad7c011b71fe6376c1fab62ca815fd4f1b73 (diff) | |
| parent | e4850b7f1cac1f2111f2d0fdf976cf4531ef21a2 (diff) | |
| download | Nim-d21529649746e68fd6f3f955627eda3ee0017534.tar.gz | |
Merge pull request #9846 from timotheecour/pr_getpid
add os.getCurrentProcessId()
Diffstat (limited to 'lib/core')
0 files changed, 0 insertions, 0 deletions