Remove some headers via 'make upgrade'.
commitc92b6cf0465272438ec904ca6e74192b900b4072
authorSascha Wildner <saw@online.de>
Tue, 15 May 2018 06:28:25 +0000 (15 08:28 +0200)
committerSascha Wildner <saw@online.de>
Tue, 15 May 2018 06:28:25 +0000 (15 08:28 +0200)
treee95f9b78300d24c3f19a57b74989a57193515a77
parent831d149215e3318845f0d91d28c41b592cd9a650
Remove some headers via 'make upgrade'.
Makefile_upgrade.inc