diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2020-09-14 12:27:22 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2020-09-14 12:27:22 +0200 |
commit | 0e9b185152b56ff33fe8a2a89a4f84923a308300 (patch) | |
tree | a5921c0b328a249f4978fa27c641e13512f16d44 /scripts/ipmiutil_wdt.cmd | |
parent | c71bf8390b9a06fa498d2cb4f8a4924309f4875e (diff) |
New upstream version 3.1.7upstream/3.1.7
Diffstat (limited to 'scripts/ipmiutil_wdt.cmd')
-rw-r--r--[-rwxr-xr-x] | scripts/ipmiutil_wdt.cmd | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/scripts/ipmiutil_wdt.cmd b/scripts/ipmiutil_wdt.cmd index 6c74c20..6c74c20 100755..100644 --- a/scripts/ipmiutil_wdt.cmd +++ b/scripts/ipmiutil_wdt.cmd |