diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-08-06 07:11:20 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2018-08-06 07:11:20 +0200 |
commit | 7b515b9f79a427053da9f7b9218e9eb8da0a87db (patch) | |
tree | 67399caba7ddb6a4eda2d6ad531c1af1aeff39bf /debian/files | |
parent | 6b606a764cabee5c89544446e9d5968e8656b76b (diff) | |
parent | 6ad7a37a24ed6e91c9a3d708c09e18bc56587c8a (diff) |
Merge branch 'release/debian/3.1-2'debian/3.1-2
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 628e131..0000000 --- a/debian/files +++ /dev/null @@ -1 +0,0 @@ -dmidecode_3.1-1_source.buildinfo utils optional |