summaryrefslogtreecommitdiff
path: root/src/gui
diff options
context:
space:
mode:
authorJörg Frings-Fürst <debian@jff.email>2020-06-01 17:22:48 +0200
committerJörg Frings-Fürst <debian@jff.email>2020-06-01 17:22:48 +0200
commit8ef660cf7c92b3407bf2fbfb0f063b90fbe991cf (patch)
treec3784846c919477e71e542ce6e049100f29fd719 /src/gui
parent2e5cbf11ebc847504fb0a94c049eda2fc1c6abbf (diff)
parent6617f5ee51c94d05028ebceb3177ec0e3a87e78d (diff)
Merge tag 'debian/0.7.2-2' into develop
bugfix release
Diffstat (limited to 'src/gui')
0 files changed, 0 insertions, 0 deletions