Auteur | SHA1 Bericht | Datum |
---|---|---|
|
3635d3cbf0 Add Certora syntax highlighting (#5861) | 1 maand geleden |
|
7ac4349710 Delete no longer needed .gitattributes file | 2 jaren geleden |
|
ad5edd329f feat: add solidity syntax highlighting directive, fixes #671 | 7 jaren geleden |