diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-08-15 06:56:29 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-08-15 06:56:29 +0200 |
commit | a0d16ef955c0d94685b5228c3fbe8b0bbc8825f2 (patch) | |
tree | b24f0a38f0468b9489586c189a1e2cb500499a03 /debian/files | |
parent | 320f24e58fbe40519cd0965bef347806511f9d6b (diff) | |
parent | a57a26cb93b8e70681c7afcadad5be79907b6d03 (diff) |
Merge branch 'release/1.8.18-4'1.8.18-4
Diffstat (limited to 'debian/files')
-rw-r--r-- | debian/files | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/debian/files b/debian/files deleted file mode 100644 index 58d13ec..0000000 --- a/debian/files +++ /dev/null @@ -1 +0,0 @@ -ipmitool_1.8.18-3_source.buildinfo utils optional |