diff options
| author | Estevan Castilho <tevo@riajuu.net> | 2026-09-17 02:20:53 +0000 |
|---|---|---|
| committer | Estevan Castilho <tevo@riajuu.net> | 2026-09-17 02:20:53 +0000 |
| commit | 272ac23caa835faede38156699b40f884ad2ed11 (patch) | |
| tree | 894ad3517b4ba8e331712bc0d6af50fa5ae24263 /lib/kernel/Namespace.mli | |
| parent | ccfb6d58dc469a8f8a7e2e09bd520aea71f8cbf3 (diff) | |
| download | RNT-272ac23caa835faede38156699b40f884ad2ed11.tar.gz RNT-272ac23caa835faede38156699b40f884ad2ed11.zip | |
Use handles as reference points
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions