Admin/Windows/WinRun4J/isabelle_transparent.ico
author wenzelm
Sun, 01 Dec 2013 16:01:03 +0100
changeset 55311 aeb21314d078
permissions -rw-r--r--
prefer transparent application icon (like Mac OS X);
wenzelm@55311
     1
(binary:image/vnd.microsoft.icon)