diff options
| author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-12-26 19:26:10 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2019-12-26 19:26:10 +0100 |
| commit | 0b3d64bac46bb7b8bcbf8677bbe96bc1f00ba038 (patch) | |
| tree | cd2ba76debdf38dbaf51d825d61bed0854aace05 /debian/ipmitool.prerm | |
| parent | df2c39519e81938370f40eabb6af37cf79040b99 (diff) | |
| parent | 83f4e330f2f1de2d9808972546c4b5edc671b648 (diff) | |
Merge branch 'release/debian/1.8.18-9'
Diffstat (limited to 'debian/ipmitool.prerm')
| -rw-r--r-- | debian/ipmitool.prerm | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/debian/ipmitool.prerm b/debian/ipmitool.prerm deleted file mode 100644 index b45afde..0000000 --- a/debian/ipmitool.prerm +++ /dev/null @@ -1,9 +0,0 @@ -#!/bin/sh - -set -e - -ipmievd_initd_failed() { - : -} - -#DEBHELPER# |