debian/beremiz_svgui.desktop
changeset 718 5d4dc150b956
parent 432 ef7fc6fd1f6f