forked from Isabelle_DOF/Isabelle_DOF
Fixed file attributes.
This commit is contained in:
parent
ae8b91ac4e
commit
82c9a07c1a
Loading…
Reference in New Issue