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.postrm | |
parent | 4afb2f66f8d57c5b3eeaabd9a2c4501245e0975a (diff) | |
parent | da9d6f1d17e5286e5184bcd531bf96437715ccc0 (diff) |
Merge tag 'debian/1.8.18-9' into develop
Bugfix release
Diffstat (limited to 'debian/ipmitool.postrm')
-rw-r--r-- | debian/ipmitool.postrm | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/ipmitool.postrm b/debian/ipmitool.postrm new file mode 100644 index 0000000..6cd9693 --- /dev/null +++ b/debian/ipmitool.postrm @@ -0,0 +1,10 @@ +#!/bin/sh + +set -e + + +ipmievd_initd_failed() { + : +} + +#DEBHELPER# |