# -*- shell-script -*- :mode=shellscript:

ISABELLE_IDEA_ICONS="$COMPONENT/jar/idea-icons.jar"
