diff options
author | Jonathan Neuschäfer <j.neuschaefer@gmx.net> | 2018-09-26 23:03:30 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-10-10 12:16:13 +0000 |
commit | 38dc00bed15bc70bde14209f730451861a38a393 (patch) | |
tree | 473ef675e539097026145cf8733bbb7dedaea730 /.gitreview | |
parent | 49c8de74eeb3b5a61f85bdeddd48a50e0376dc24 (diff) |
.gitignore: Spell Documentation in uppercase
Fixes: 4d8b843d37 ("Rename documentation -> Documentation")
Change-Id: I423cb159ca3c837ed52937dc6d76d9a43a069256
Signed-off-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net>
Reviewed-on: https://review.coreboot.org/28634
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Ronald G. Minnich <rminnich@gmail.com>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Diffstat (limited to '.gitreview')
0 files changed, 0 insertions, 0 deletions