Author | SHA1 Message | Date |
---|---|---|
|
3635d3cbf0 Add Certora syntax highlighting (#5861) | 1 month ago |
|
7ac4349710 Delete no longer needed .gitattributes file | 2 years ago |
|
ad5edd329f feat: add solidity syntax highlighting directive, fixes #671 | 7 years ago |