Remove unused header.
authorSascha Wildner <saw@online.de>
Sat, 28 Jul 2012 23:40:18 +0000 (01:40 +0200)
committerSascha Wildner <saw@online.de>
Sat, 28 Jul 2012 23:40:18 +0000 (01:40 +0200)
commit35f126e9908ed73ee49f2f8582a288f424297019
tree539c81f47e9bd53ff9ed4e3355459302ff477f9a
parent05c07bb482acd7f42914c78129c4406d9c70a9ef
Remove unused header.
usr.bin/checkpt/DEFS.h [deleted file]