misc/dmgBackground.png
author koda
Fri, 26 Jul 2013 23:02:25 +0200
changeset 9377 48ab6dea8d2f
parent 9347 5b582d49358c
child 13552 54b9fd6f4e84
permissions -rw-r--r--
remove old and unused getScreenDPI code

(binary:image/png)