Remove a deleted header via 'make upgrade'.
authorSascha Wildner <saw@online.de>
Tue, 19 Mar 2019 21:21:01 +0000 (22:21 +0100)
committerSascha Wildner <saw@online.de>
Tue, 19 Mar 2019 21:21:01 +0000 (22:21 +0100)
commitd0fba32243457105cfe704cb6b5fa45a6b6730f4
treeac30e7bb28cae9f594ff48e1a7dda8999f9e13c7
parent7c7505d06c921c0ca94a8277dbade60ec0804f8e
Remove a deleted header via 'make upgrade'.
Makefile_upgrade.inc