debian/beremiz_svgui.desktop
changeset 724 e0630d262ac3
parent 432 ef7fc6fd1f6f