forked from Isabelle_DOF/Isabelle_DOF
Moved install script to top-level directory.
This commit is contained in:
parent
928c65e512
commit
f2f5339eae
Loading…
Reference in New Issue