Skip to content

remove .aux targets from coqc rule#6024

Merged
rgrinberg merged 1 commit intoocaml:mainfrom Alizter:ps/rr/remove__aux_targets_from_coqc_ruleSep 9, 2022
+41-30

Commits

Commits on Sep 7, 2022