diff options
| author | Jörg Frings-Fürst <debian@jff.email> | 2018-12-21 22:58:09 +0100 |
|---|---|---|
| committer | Jörg Frings-Fürst <debian@jff.email> | 2018-12-21 22:58:09 +0100 |
| commit | 3db1d9f0a869e82b67064afb2cfd602d96c7fa6a (patch) | |
| tree | 070a8537d9bc4f77ad1bfa9135113fecf7179ecf /make.sh | |
| parent | 1bf899cfe8cfbeeb87608207fa1498dd7e31a357 (diff) | |
| parent | cda2ea1ef21e37a3d739b2241a6dcc709ee448da (diff) | |
Merge tag 'debian/0.7.2-1' into develop
New upstream release
Diffstat (limited to 'make.sh')
0 files changed, 0 insertions, 0 deletions