Remove unused <{cpu,machine}/coredump.h> header.
authorSascha Wildner <saw@online.de>
Mon, 20 Nov 2017 06:55:32 +0000 (07:55 +0100)
committerSascha Wildner <saw@online.de>
Mon, 20 Nov 2017 06:55:32 +0000 (07:55 +0100)
commitacc9ff41ab5220b672af94f527d30bcc51765244
treec31f9a4cca628759ba4efcabd9e3cff2d7ff4b93
parentbeaef97a1f5cd031326c9ccb39d7f602ae0d0d6e
Remove unused <{cpu,machine}/coredump.h> header.
Makefile_upgrade.inc
sys/cpu/x86_64/include/coredump.h [deleted file]
sys/sys/user.h