diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2014-07-23 15:07:04 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2014-07-23 15:07:04 +0200 |
commit | 1acb8ee5140d8a2d474700987435bc0630cb24f2 (patch) | |
tree | ee04e68e7699b21b235a16c667d27348a71b1d03 /debian/ipmitool.prerm | |
parent | 777af8a8761d05c30588abec7444b143fe7393f0 (diff) |
New maintainerdebian/1.8.14-3
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# |