diff options
| author | Matej Kosik | 2015-11-07 15:37:39 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:17 +0100 |
| commit | 43816ce712054c07cb04452821570054aff3dc44 (patch) | |
| tree | 410679fdcef51187682a3ce538a9a7d1ef0679b0 /kernel | |
| parent | 07b9d5bc3c54e849b95f2b8dd223896e64614954 (diff) | |
CLEANUP PROPOSITION: rephrasing the original idea in a simpler way
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions