diff options
| author | David Englund <public@beloved.name> | 2015-03-14 19:41:09 +0100 |
|---|---|---|
| committer | Patrick Georgi <pgeorgi@google.com> | 2015-05-04 15:16:59 +0200 |
| commit | 99cc1aacc68e6458e2465842c3afe4d684970d1b (patch) | |
| tree | b4fbb0703a385e74559fa111dc4ea4c086a29aaa /util/optionlist | |
| parent | e9b7e25708db1eb234c87def87a8e4e9b5c03b28 (diff) | |
Mediawiki editing warning
The file have been updated to warn wiki users to edit
the page as it is generated by a bot.
Change-Id: I5802ff8c7986c0fd93adf58e2353df81de9c2b75
Signed-off-by: David Englund <public@beloved.name>
Reviewed-on: http://review.coreboot.org/8682
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
Tested-by: Patrick Georgi <pgeorgi@google.com>
Diffstat (limited to 'util/optionlist')
0 files changed, 0 insertions, 0 deletions