diff options
| author | dzwdz | 2022-08-22 15:02:16 +0200 |
|---|---|---|
| committer | dzwdz | 2022-08-22 15:02:16 +0200 |
| commit | d5cca73003febe187f5383bc80d3378966d060c0 (patch) | |
| tree | 5677121b75570711272b2417104a921794825313 /.gitignore | |
| parent | 06beffa4f8f350aad6f6167abb7bebeecd0166ff (diff) | |
syscalls/fs_respond: make the *buf argument const
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions