diff options
author | Patrick Georgi <pgeorgi@chromium.org> | 2018-06-07 13:59:14 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2018-06-11 21:18:24 +0000 |
commit | db693b44aa11a8b5eebcea4c922d5ce0e7ceb0ad (patch) | |
tree | 8bbe2d59577145b69d70972a6807759991ee8bd3 /util/gitconfig | |
parent | 446f77daad4184c745575f57615960fd33641b40 (diff) |
util/optionlist: show location of a comment
Change-Id: Ib417f435011f0331a1b0228734874ef0a62fb587
Signed-off-by: Patrick Georgi <pgeorgi@chromium.org>
Reviewed-on: https://review.coreboot.org/26945
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util/gitconfig')
0 files changed, 0 insertions, 0 deletions