diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2018-08-03 18:32:54 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2018-08-03 18:32:54 +0200 |
commit | 957411f6d8380e1dd19325a5b3576a4ff480e7e1 (patch) | |
tree | 5efc7fa104dddabc31c7cdb5f85897c391791f31 /scripts/ipmiutil_wdt.cmd | |
parent | c23016096ab5f8bae409006306e6652e04da030a (diff) |
refresh d/p/0600-typo-man.patch
Diffstat (limited to 'scripts/ipmiutil_wdt.cmd')
0 files changed, 0 insertions, 0 deletions