diff options
| author | Naga Venkata Sai Indubhaskar Jupudi <njupudi@ucsc.edu> | 2016-02-09 14:10:16 -0800 |
|---|---|---|
| committer | Bjorn Helgaas <bhelgaas@google.com> | 2016-02-29 12:03:19 -0600 |
| commit | 6ca7227b3e24e4ba445464779a66558a8b9e0617 (patch) | |
| tree | 31d4cb68b3481a322e6de85fcfc1d249a39faec3 /scripts/gdb/linux/modules.py | |
| parent | 92e963f50fc74041b5e9e744c330dca48e04f08d (diff) | |
PCI: Fix broken URL for Dell biosdevname
Dell developed a way to consistently name devices, and their last proposal
was accepted under the name biosdevname. Fix a broken URL to biosdevname
documentation.
Signed-off-by: Naga Venkata Sai Indubhaskar Jupudi <njupudi@ucsc.edu>
Signed-off-by: Bjorn Helgaas <bhelgaas@google.com>
Diffstat (limited to 'scripts/gdb/linux/modules.py')
0 files changed, 0 insertions, 0 deletions
