diff options
author | Jörg Frings-Fürst <debian@jff.email> | 2018-09-07 14:19:01 +0200 |
---|---|---|
committer | Jörg Frings-Fürst <debian@jff.email> | 2018-09-07 14:19:01 +0200 |
commit | 5f093bc9519f8c29e4400819a58cc268c2e93e73 (patch) | |
tree | ec789116ea4d5290d3b33bede0e481828fcbcdc6 /resources/themes | |
parent | a751acf2205e327863f8570a5c744f6791470ebd (diff) | |
parent | 2ac2ca1077001bfd616e6b8bdf39d42952fe1bf0 (diff) |
Merge tag 'debian/0.7.1-2' into develop
bugfix release
Diffstat (limited to 'resources/themes')
0 files changed, 0 insertions, 0 deletions