author | boehmes |
Mon, 17 Aug 2009 10:59:12 +0200 | |
changeset 32381 | 11542bebe4d4 |
child 32382 | 98674ac811c4 |
permissions | -rw-r--r-- |
boehmes@32381 | 1 |
MIRABELLE_HOME="$COMPONENT" |
boehmes@32381 | 2 |
|
boehmes@32381 | 3 |
ISABELLE_TOOLS="$ISABELLE_TOOLS:$COMPONENT/lib/mirabelle" |