debian/beremiz_svgui.desktop
changeset 710 d76f73c7ae5e
parent 432 ef7fc6fd1f6f