diff options
| author | Martin Roth <gaumless@gmail.com> | 2018-06-06 21:40:35 -0600 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2018-06-07 06:26:19 +0000 |
| commit | 06e9816191d310435ca11f6403a3cd1f555af6df (patch) | |
| tree | f4e4cb790346ccc2731817adb3d6cfb242c76b74 /util/lint/lint-stable-023-filenames | |
| parent | bb000cf07a3a363056adc78fb305c7ddbe4847d7 (diff) | |
Documentation: Rename file with space in filename
Change-Id: I10203de578c4dd0b8915dad4b0d456531049328f
Signed-off-by: Martin Roth <gaumless@gmail.com>
Reviewed-on: https://review.coreboot.org/26937
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Kyösti Mälkki <kyosti.malkki@gmail.com>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/lint/lint-stable-023-filenames')
0 files changed, 0 insertions, 0 deletions