diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2018-12-21 22:57:46 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2018-12-21 22:57:46 +0100 |
| commit | cda2ea1ef21e37a3d739b2241a6dcc709ee448da (patch) | |
| tree | 070a8537d9bc4f77ad1bfa9135113fecf7179ecf /resources/ui/pie_options.ui | |
| parent | 2ac2ca1077001bfd616e6b8bdf39d42952fe1bf0 (diff) | |
| parent | da59fdb19b8e41f2a6443a9f41189f9a045cd94f (diff) | |
Merge branch 'release/debian/0.7.2-1'debian/0.7.2-1
Diffstat (limited to 'resources/ui/pie_options.ui')
0 files changed, 0 insertions, 0 deletions