diff options
author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-05 00:08:16 +0200 |
---|---|---|
committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2015-07-09 19:34:03 +0200 |
commit | 4b8a219f30c319c9965204e42b7167c4ca90656c (patch) | |
tree | 050c67941a833c057f8e2be2827124c535fbf3b1 /kern/machine.c | |
parent | babb522465c0a3339dfea673d2e6c85d304606f3 (diff) |
kern: remove superfluous file
* kern/server_loop.ch: Remove superfluous file.
Diffstat (limited to 'kern/machine.c')
0 files changed, 0 insertions, 0 deletions