forked from Isabelle_DOF/Isabelle_DOF
4 lines
74 B
Plaintext
4 lines
74 B
Plaintext
|
# -*- shell-script -*- :mode=shellscript:
|
||
|
|
||
|
ISABELLE_DOF_HOME="$COMPONENT"
|