summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-018-symlinks
diff options
context:
space:
mode:
authorAngel Pons <th3fanbus@gmail.com>2020-03-17 15:24:32 +0100
committerFelix Held <felix-coreboot@felixheld.de>2020-03-18 21:38:35 +0000
commitdc1c30ac17926415681db6bc27886260071d8256 (patch)
tree9b7e36b4340461028f7d54e582b7ad832d7ffebf /util/lint/lint-stable-018-symlinks
parent55292315988899a371bfa225ed9ce73d36697ed8 (diff)
util/lint/spelling.txt: Explain the commented-out entries
If they were removed instead, it would be too easy to end up adding them back again. They are kept in a comment so that they can be tracked. Also, explain why these two entries have been commented out. Change-Id: I8225944b5e3d1e022af169dda33e0344d4c3bccd Signed-off-by: Angel Pons <th3fanbus@gmail.com> Reviewed-on: https://review.coreboot.org/c/coreboot/+/39618 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Diffstat (limited to 'util/lint/lint-stable-018-symlinks')
0 files changed, 0 insertions, 0 deletions