diff options
| author | Guillaume Melquiond | 2016-08-10 11:16:37 +0200 |
|---|---|---|
| committer | Guillaume Melquiond | 2016-08-10 11:16:37 +0200 |
| commit | 8d4df809c90352035f7bc92e1f829f2d482625ed (patch) | |
| tree | 76de63eb2cc4767e4205635f201376d5549287c1 /kernel | |
| parent | 03bd49e69578665ae33e03300a1277b1c83e1939 (diff) | |
Make it a bit more obvious when variables are of type unit.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions