diff options
| author | Matej Kosik | 2015-11-05 16:31:57 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:16 +0100 |
| commit | 55fee343ecbb6e510aa9c2729627fe7a758f384b (patch) | |
| tree | 7b0f79aac3559c2705c4f87a223812bd333526d5 /kernel | |
| parent | bce5332773276bca755dd47608dd13ae09016ded (diff) | |
CLEANUP: originally, we talked about "B" as an "arity"
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions