diff options
| author | Dave Jones <davej@redhat.com> | 2006-08-09 15:25:09 -0400 |
|---|---|---|
| committer | Greg Kroah-Hartman <gregkh@suse.de> | 2006-08-11 14:06:05 -0700 |
| commit | f0c1dc07309f0fe3409b92eb170b648a487b1e81 (patch) | |
| tree | bffa6977410d22edbc0dab8fe7be052865a1b9e4 /mm | |
| parent | e50d1088bf2e5a68068c5f602be1dcc3e52dc873 (diff) | |
PCI: remove dead HOTPLUG_PCI_SHPC_PHPRM_LEGACY option.
Nothing in the tree references this config option.
Signed-off-by: Dave Jones <davej@redhat.com>
Signed-off-by: Greg Kroah-Hartman <gregkh@suse.de>
Diffstat (limited to 'mm')
0 files changed, 0 insertions, 0 deletions