diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2018-07-08 23:15:22 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2018-07-08 23:15:22 +0200 |
commit | 853c9cf3718db7c9f6d723e45031016231e1cbd1 (patch) | |
tree | e6a5cafe819de3d14665da32bfd87259b089ec02 /debian/files | |
parent | 7b350538dddb27a4513158cb6b6405b85f175ad1 (diff) | |
parent | 10bd216b0099d2ae8cb22c664fb725165096f95c (diff) |
Merge branch 'release/debian/0.9.10-1'debian/0.9.10-1
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 00000000..e99f64e9 --- /dev/null +++ b/debian/files @@ -0,0 +1 @@ +libunistring_0.9.10-1_source.buildinfo libs optional |