diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2018-12-21 11:23:03 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2018-12-21 11:23:03 +0100 |
| commit | d5516baf1f83808bc6ea5898868f24dbc131447a (patch) | |
| tree | 313b99afe659cdaf781ca61bcf8cb573ed29c51a /resources/ui | |
| parent | 5f093bc9519f8c29e4400819a58cc268c2e93e73 (diff) | |
| parent | e62a1c4bd7e6073de5aef7a262d838b0df46d504 (diff) | |
Update upstream source from tag 'upstream/0.7.2'
Update to upstream version '0.7.2'
with Debian dir 1556abc4a55da73117e8492f11164723bf1c7269
Diffstat (limited to 'resources/ui')
0 files changed, 0 insertions, 0 deletions