diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2018-07-11 07:36:21 +0200 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2018-07-11 07:36:21 +0200 |
| commit | 341aee5e3e3625173e4b684cc4166e60f6eb147f (patch) | |
| tree | 133bb01bc02539bb98f98bfa6807dc084b995bec /debian/files | |
| parent | 631fa5250443f5441549bf3184830bc34b0c042e (diff) | |
| parent | 788a8d509d66a15ecb1810599885792a1acaaeb9 (diff) | |
Merge branch 'release/debian/3.1.1-1'debian/3.1.1-1
Diffstat (limited to 'debian/files')
| -rw-r--r-- | debian/files | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/files b/debian/files index f83d373..30f349f 100644 --- a/debian/files +++ b/debian/files @@ -1 +1 @@ -ipmiutil_3.0.8-1_source.buildinfo utils optional +ipmiutil_3.1.1-1_source.buildinfo utils optional |