GitBross Home Explore Help
Register Sign In
sol_Bo8des9o
/
openzeppelin-contracts
1
0
Fork 0
Files Issues 0 Pull Requests 0 Wiki
Tree: 3635d3cbf0
Branches Tags
openzeppelin-co...
/
.gitattributes

.gitattributes 134 B
History Raw

123 
  1. certora/specs/*.spec linguist-language=Solidity
    2. 

  2. certora/specs/*.conf linguist-detectable
    3. 

  3. certora/specs/*.conf linguist-language=JSON5
    4.