clean up _CoqProject
Passed
Johannes Hostert
created pipeline for commit
73128efb
, finished
1 related merge request: !17 Tree Borrows (done)
4 minutes 8 seconds, queued for 3 seconds