From: Mart Lubbers Date: Tue, 8 Nov 2016 10:57:27 +0000 (+0100) Subject: add override X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=f9fada0f57ec0db9f601a6357e2e73bc0b8be85b;hp=f9fada0f57ec0db9f601a6357e2e73bc0b8be85b;p=linuxnijmegen-make.git add override ---