diff options
author | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-08-13 18:11:27 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff-webhosting.net> | 2017-08-13 18:11:27 +0200 |
commit | 7dd1bb95a32287e9535e4b6798f57e8c77f49a15 (patch) | |
tree | 55faea061b464462edc782e566a1951014db9af4 /debian/files | |
parent | 4510bf89cdef11a5bf0eea1e8c5da6b7bcc77ce4 (diff) | |
parent | 6b606a764cabee5c89544446e9d5968e8656b76b (diff) |
Merge tag 'debian/3.1-1' into develop
New upstream release
Diffstat (limited to 'debian/files')
-rw-r--r-- | debian/files | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/files b/debian/files new file mode 100644 index 0000000..628e131 --- /dev/null +++ b/debian/files @@ -0,0 +1 @@ +dmidecode_3.1-1_source.buildinfo utils optional |