debian/beremiz_svgui.desktop
changeset 725 31dade089db5
parent 432 ef7fc6fd1f6f
equal deleted inserted replaced
724:e0630d262ac3 725:31dade089db5