diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-01-28 17:08:15 +0100 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-01-28 17:08:15 +0100 |
| commit | 57a3100da2adc0dc6b5215e142fb0cfa962e17d6 (patch) | |
| tree | ce2da95a86bfe81b9886ed2060980a41deabfbca /kern/work.c | |
| parent | a90d38274ec139ea8d593373cecccbc59e8fb3f6 (diff) | |
kern/mutex: remove unnecessary header inclusion
Diffstat (limited to 'kern/work.c')
0 files changed, 0 insertions, 0 deletions