debian/beremiz.menu
changeset 532 a822b0b64252
parent 432 ef7fc6fd1f6f