diff options
| author | Richard Braun <rbraun@sceen.net> | 2017-09-02 16:47:27 +0200 |
|---|---|---|
| committer | Richard Braun <rbraun@sceen.net> | 2017-09-02 16:47:27 +0200 |
| commit | 8a24859abcacf35471a7c84634300707ab5aa541 (patch) | |
| tree | e67183ab38b774d881c55e9f74e27cf1e73d7301 /kern/task.c | |
| parent | 5c016269c09855a3e299fbeb3754793aed97d99e (diff) | |
Makefile.am: make x15.sorted_init_ops an intermediate file
Diffstat (limited to 'kern/task.c')
0 files changed, 0 insertions, 0 deletions