diff options
author | Jonathan Neuschäfer <j.neuschaefer@gmx.net> | 2018-12-11 15:16:26 +0100 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-12-18 13:26:15 +0000 |
commit | 1fb7dd076fa93eee6d688de595ecd83fa20242fe (patch) | |
tree | 3e973ab40aa677d5b64aed1e58ca502d3c18b1c9 /src/include | |
parent | 726adde879339a320109538c477ee2e4ceca0396 (diff) |
util/lint/spelling.txt: Protect "acknowledgement" entry
In commit eceba31c7f ("util/lint: Set "acknowledgement" correct"), the
word "acknowledgement" was removed from util/lint/spelling.txt. A more
robust solution is to comment it out, as done for "sepc" in commit
afa5ec8d5f ("util/lint: Update spelling.txt to latest linux version").
Change-Id: Ia976dedc9b31190d22e7b946f14709d5c4577f71
Signed-off-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net>
Reviewed-on: https://review.coreboot.org/c/30167
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'src/include')
0 files changed, 0 insertions, 0 deletions