forked from Isabelle_DOF/Isabelle_DOF
LIPIcs needs to stay unsupported, right now.
This commit is contained in:
parent
205aa5a6b1
commit
b24ede4400
Reference in New Issue