debian/beremiz_svgui.desktop
changeset 711 1dd31c510ff2
parent 432 ef7fc6fd1f6f