forked from Isabelle_DOF/Isabelle_DOF
Removed empty line.
This commit is contained in:
parent
0f6ec7dcd1
commit
95cda1aaea
Loading…
Reference in New Issue