diff options
| author | Maxime Dénès | 2018-07-26 14:40:06 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-07-26 14:42:45 +0200 |
| commit | baf8b6e100c49635c56308f17275b963d4f5253c (patch) | |
| tree | f92fb7cbc84396ce3fb132db65e70f7a24735568 /kernel/make-opcodes | |
| parent | dfacbac8dada1bfe9bcb55fcbd97375fe06e245c (diff) | |
Replace iter + ref by fold_left
Diffstat (limited to 'kernel/make-opcodes')
0 files changed, 0 insertions, 0 deletions