swh:1:snp:f521c49ab17ef7db6ec70b2430e1ed203f50383f
History
Tip revision: 8019e3a78f19f1f3c8a15afac663f7d6218340bb authored by Lars Bilke on 23 July 2021, 08:31:27 UTC
Merge branch 'fix-gui-linux' into 'master'
Tip revision: 8019e3a
File Mode Size
pre-commit -rw-r--r-- 1.1 KB

back to top