forked from Isabelle_DOF/Isabelle_DOF
Delete Isabelle marks file
This commit is contained in:
parent
9603311a9a
commit
b1f73e9235
Binary file not shown.
Loading…
Reference in New Issue