diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-08-08 11:03:50 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2020-08-08 11:03:50 +0200 |
commit | da9d6f1d17e5286e5184bcd531bf96437715ccc0 (patch) | |
tree | 38603a07d6e21897e36a6bea9a317ea6fe749499 /debian/ipmitool.prerm | |
parent | 0b3d64bac46bb7b8bcbf8677bbe96bc1f00ba038 (diff) | |
parent | d585f58231c5adb9249a4c70b9918eac4483908e (diff) |
Merge branch 'release/debian/1.8.18-9'debian/1.8.18-9
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# |