coq
forked from coq/coq
Star 1
Fork 0
Watch

pre-commit: add files after fixing ending newlines.

Author Gaëtan Gilbert Date Commit Parent 04a3fa7e
+46 -28
2 changed files
Unified Split
+46 -28
2 changed files