Admin/etc/settings
changeset 48725 e852f4d6af80
child 63646 74604a9fc4c8
equal deleted inserted replaced
48724:e6e1b436caf0 48725:e852f4d6af80
       
     1 # -*- shell-script -*- :mode=shellscript:
       
     2 
       
     3 ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/Tools"