diff options
| author | Cyprien Mangin | 2015-06-24 13:59:53 +0200 |
|---|---|---|
| committer | Cyprien Mangin | 2016-06-14 06:21:30 +0200 |
| commit | dae4d95910bbdfabe8a8436ab954092ef4773e7d (patch) | |
| tree | 45f7d3a3450b3e632ed0daeb33ff36291fdac0bc /kernel | |
| parent | 8beceb7e73480c72b8e9d319d94ae1a9202418a5 (diff) | |
Add a comment about the use of a zipper, for clarity.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions