| changeset 41967 | 6aa69999da8f |
| parent 41730 | 14ed42540d22 |
| child 44976 | a75936954fac |
| 41966:d65835c381dd | 41967:6aa69999da8f |
|---|---|
22 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
22 ISABELLE_OUTPUT="$ISABELLE_HOME_USER/heaps" |
23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
23 ISABELLE_BROWSER_INFO="$ISABELLE_HOME_USER/browser_info" |
24 |
24 |
25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" |
25 ISABELLE_USEDIR_OPTIONS="-i true -d pdf -v true" |
26 |
26 |
27 unset KODKODI |
|
28 |