Skip to content

[coq] Ignore contents in coqdep rule#5547

Merged
ejgallego merged 1 commit intoocaml:mainfrom ejgallego:coq+ignore_contents_for_coqdepApr 6, 2022
+41-1

Commits

Commits on Apr 6, 2022