diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2018-08-04 11:17:07 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2018-08-04 11:17:07 +0200 |
| commit | 7af748e993f12dd5b62400723332a7c8b53dcd72 (patch) | |
| tree | 277e7f1d30bd2ebccf90e8d13d6215b28ebacaf4 /debian/files | |
| parent | 341aee5e3e3625173e4b684cc4166e60f6eb147f (diff) | |
| parent | 999ee0be4949b34b9930e86a661e759f63b2072c (diff) | |
Merge branch 'release/debian/3.1.2-1'debian/3.1.2-1
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 30f349f..0000000 --- a/debian/files +++ /dev/null @@ -1 +0,0 @@ -ipmiutil_3.1.1-1_source.buildinfo utils optional |