Autor | SHA1 Nachricht | Datum |
---|---|---|
|
3635d3cbf0 Add Certora syntax highlighting (#5861) | vor 1 Monat |
|
7ac4349710 Delete no longer needed .gitattributes file | vor 2 Jahren |
|
ad5edd329f feat: add solidity syntax highlighting directive, fixes #671 | vor 7 Jahren |