diff options
| author | dzwdz | 2022-05-06 13:33:37 +0200 |
|---|---|---|
| committer | dzwdz | 2022-05-06 13:33:37 +0200 |
| commit | 530d2292182ae4e35e4a13929831a6803f517128 (patch) | |
| tree | 23fa1e052f57a74cb6db8d8998332991b5bc7906 /grub.cfg | |
| parent | 292e55a3c344e649d271cfb3c9063ac8b2484de6 (diff) | |
kernel/proc: simplify `process_free()`
Diffstat (limited to 'grub.cfg')
0 files changed, 0 insertions, 0 deletions