Skip to content

GitLab

Remove an Ltac hack that was there for unknown reason.

1 job for master in 3 minutes and 59 seconds (queued for 1 second)
84d78426
No related merge requests found.