diff options
| author | Daniil Baturin <daniil@baturin.org> | 2019-08-05 12:51:22 -0400 |
|---|---|---|
| committer | Daniil Baturin <daniil@baturin.org> | 2019-08-05 12:51:22 -0400 |
| commit | c728fd8b53fefe363999354a99fd749b359feb72 (patch) | |
| tree | a36d881b8618b2c874053dd1abab05b71a4b8c14 /mibs/DISMAN-PING-MIB.txt | |
| parent | 2e3ce45a0218a626434891ba3db16d977fbf8f0e (diff) | |
| download | vyatta-cfg-system-c728fd8b53fefe363999354a99fd749b359feb72.tar.gz vyatta-cfg-system-c728fd8b53fefe363999354a99fd749b359feb72.zip | |
Remove dependency on apparently no longer used biosdevname.
Diffstat (limited to 'mibs/DISMAN-PING-MIB.txt')
0 files changed, 0 insertions, 0 deletions