misc/dmgBackground.png
author alfadur
Wed, 21 Sep 2022 06:36:05 +0300
changeset 15871 9cd8d7748199
parent 13552 54b9fd6f4e84
permissions -rw-r--r--
fix pred/succ conversion

(binary:image/png)