Something went wrong. Try again.
forked from coq/coq
Something went wrong. Try again.
165 B · 15 lines
at master
12345678910111213141516*.ml*.d*.cm[ixt]*Makefile.rocq*!Makefile.*.localtuto0/src/META**~*.[ao].coqdeps.d*.vo*.glob*.aux*/*/.merlin
# by convention g_foo.ml is generatedg_*.ml