diff options
| author | Gaëtan Gilbert | 2018-09-27 15:40:33 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2018-09-28 16:09:40 +0200 |
| commit | 980ddd72edc760e39830e73f0d10ffe064a82937 (patch) | |
| tree | d1e5ba0e0baf17ded6fda02baa6ced11be574998 /kernel | |
| parent | bc26ad1cbbeb0a8aa2ac36916db3c09330bacfd0 (diff) | |
Cleanup comparisons in econstr (compare_head_... users)
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions