debian/beremiz_svgui.desktop
changeset 537 881c0b3f0204
parent 432 ef7fc6fd1f6f