Admin/launch4j/isabelle.ico
2009-06-29 wenzelm added icon;
less more (0) tip