Remove an old header via 'make upgrade'.
authorSascha Wildner <saw@online.de>
Fri, 25 Feb 2011 11:37:04 +0000 (12:37 +0100)
committerSascha Wildner <saw@online.de>
Fri, 25 Feb 2011 11:37:04 +0000 (12:37 +0100)
commit1c6ea187ec43b66c50494edce4685c98f681abe0
treee4034042a6bd07c39327efc3ad25a8fdf8be0f9a
parentf907cdf036a5b88b9363a8e8da81d3e77697dd3f
Remove an old header via 'make upgrade'.
Makefile_upgrade.inc