kmx git
login
register
kmx.io
/
prism.js
/
tests/languages/coq/punctuation_feature.test
tests/languages/coq/punctuation_feature.test
Log
Author
Commit
Date
CI
Message
41e25d3c
2021-03-25T12:42:58
Added support for Coq (#2803)