Benjamin Barenblat pushed to branch upstream at Debian OCaml Maintainers / coq
Commits:
-
9043add6
by Benjamin Barenblat at 2018-12-29T19:31:27Z
21 changed files:
- + .bintray.json
- − .gitattributes
- + .github/ISSUE_TEMPLATE.md
- + .github/PULL_REQUEST_TEMPLATE.md
- + .gitlab-ci.yml
- − .mailmap
- .merlin
- + .travis.yml
- CHANGES
- − COMPATIBILITY
- + CONTRIBUTING.md
- − COPYRIGHT
- CREDITS
- INSTALL
- INSTALL.doc
- INSTALL.ide
- META.coq
- Makefile
- Makefile.build
- Makefile.checker
- + Makefile.ci