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