diff options
author | Thomas Huth <thuth@redhat.com> | 2018-08-21 12:59:56 +0200 |
---|---|---|
committer | Thomas Huth <thuth@redhat.com> | 2018-08-31 09:52:46 +0200 |
commit | 2feac451d2b4492aa8a67f40bd20dd351941d1a2 (patch) | |
tree | 2bac86a10017c2d0d9a7a33f37f6915f8bb08849 /roms/config.vga-cirrus | |
parent | 1d9cb42c5654772efec1977957584a21763013a1 (diff) |
Remove the deprecated -nodefconfig option
It's the same as -no-user-config and marked as deprecated since three
releases already. Time to remove it now.
Acked-by: Peter Krempa <pkrempa@redhat.com>
Acked-by: Ján Tomko <jtomko@redhat.com>
Signed-off-by: Thomas Huth <thuth@redhat.com>
Diffstat (limited to 'roms/config.vga-cirrus')
0 files changed, 0 insertions, 0 deletions