diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2020-09-17 10:48:23 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2020-09-17 10:48:23 +0200 |
commit | 12f0c28c2c2a1785278df0d0731ef57921c0cd1a (patch) | |
tree | e0f40e53ff7ee84973790fb4b388ededa536dbe8 /debian/maintscript | |
parent | b3f027c605992040981c81d34ccc02a9f1976c07 (diff) | |
parent | 1759fac62c33877a7ebc52a423d6f99ddc9d08c4 (diff) |
Merge branch 'release/debian/3.1.7-1' into masterdebian/3.1.7-1
Diffstat (limited to 'debian/maintscript')
-rw-r--r-- | debian/maintscript | 4 |
1 files changed, 0 insertions, 4 deletions
diff --git a/debian/maintscript b/debian/maintscript deleted file mode 100644 index 0d95117..0000000 --- a/debian/maintscript +++ /dev/null @@ -1,4 +0,0 @@ -rm_conffile /etc/init.d/ipmi_port 3.0.0-3~ -rm_conffile /etc/init.d/ipmiutil_asy 3.0.0-3~ -rm_conffile /etc/init.d/ipmiutil_evt 3.0.0-3~ -rm_conffile /etc/init.d/ipmiutil_wdt 3.0.0-3~ |