kmx git
login
register
kmx.io
/
prism.js
/
tests/languages/agda/comment_feature.test
tests/languages/agda/comment_feature.test
Log
Author
Commit
Date
CI
Message
99f3ddcd
2021-06-13T22:00:43
Tests: Automatically normalize line ends (#2934)
3a127c7d
2020-06-24T20:30:38
Add support for the language Agda (#2430)