diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-08-08 11:04:38 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-08-08 11:04:38 +0200 |
commit | 2339c69801e9e80f059350182d767e6091f0df8c (patch) | |
tree | 38603a07d6e21897e36a6bea9a317ea6fe749499 /debian/ipmitool.prerm | |
parent | 4afb2f66f8d57c5b3eeaabd9a2c4501245e0975a (diff) | |
parent | da9d6f1d17e5286e5184bcd531bf96437715ccc0 (diff) |
Merge tag 'debian/1.8.18-9' into develop
Bugfix release
Diffstat (limited to 'debian/ipmitool.prerm')
-rw-r--r-- | debian/ipmitool.prerm | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/debian/ipmitool.prerm b/debian/ipmitool.prerm new file mode 100644 index 0000000..b45afde --- /dev/null +++ b/debian/ipmitool.prerm @@ -0,0 +1,9 @@ +#!/bin/sh + +set -e + +ipmievd_initd_failed() { + : +} + +#DEBHELPER# |