kprintf.9: Remove unneeded header.
authorSascha Wildner <saw@online.de>
Tue, 21 Nov 2017 07:09:29 +0000 (08:09 +0100)
committerSascha Wildner <saw@online.de>
Tue, 21 Nov 2017 07:09:51 +0000 (08:09 +0100)
commitdbb5d235a84b2aa354a9d5745aa6a02ac9a26c50
treeba753544c7ec438b293fbb60a7acb5135a170554
parentacc9ff41ab5220b672af94f527d30bcc51765244
kprintf.9: Remove unneeded header.

Reported-by: zrj
share/man/man9/kprintf.9