mirror
/
openzeppelin-contracts
mirror of https://github.com/OpenZeppelin/openzeppelin-contracts
2
1
Fork 1
Code Issues Releases Wiki Activity

renamed governor sanity script

Browse Source
pull/3478/head
Michael George 3 years ago
parent b5980a569c
commit 7ffbf6a3c8
1 changed files with 0 additions and 0 deletions
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Show Stats Download Patch File Download Diff File
  1. 0
      certora/scripts/sanityGovernor.sh
Write Preview
Loading…
Cancel
Save