procctl: Remove a header file that was renamed with 'make upgrade'.
authorSascha Wildner <saw@online.de>
Fri, 14 Nov 2014 11:51:02 +0000 (12:51 +0100)
committerSascha Wildner <saw@online.de>
Fri, 14 Nov 2014 11:51:02 +0000 (12:51 +0100)
commitbcff63293a2f64b8ed65f433b21eeada86951790
tree1cc801679db44ac2088304bf1da055a6b599a224
parent2e2672b8ac84e7b2eabb70df2699316280b75ff5
procctl: Remove a header file that was renamed with 'make upgrade'.
Makefile_upgrade.inc