Skip to content

Better handling of Coq paths in the frontend.

Rodolphe Lepigre requested to merge ci/coq_paths into master

Merge request reports