diff options
| author | dzwdz | 2022-09-02 14:44:52 +0200 |
|---|---|---|
| committer | dzwdz | 2022-09-02 17:58:47 +0200 |
| commit | c16d956c0dd3d69748f7208e09bb69a6df8c6483 (patch) | |
| tree | 38089f4b9e7fb153aa817e25340b7107f7cdf795 /.gitignore | |
| parent | 41a15bd16806261d66d55bbb85034553cd58361e (diff) | |
kernel/proc: introduce child ids for telling children apart
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions