diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-05-01 10:22:52 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-05-01 10:22:52 +0200 |
commit | ed721d01939a81a2ebf1b240a029ace82ee953df (patch) | |
tree | d5acb063b3dc1d6734b8aa221cf93017a38c22e5 /debian/files | |
parent | 7a765f655540e4e254f4aaaf6ea3326a57d76e59 (diff) | |
parent | 1d271f6ff272623c990d1cebe531002f22b248bd (diff) |
Merge branch 'feature/upstream' into develop
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 f83d373..0000000 --- a/debian/files +++ /dev/null @@ -1 +0,0 @@ -ipmiutil_3.0.8-1_source.buildinfo utils optional |