Merge branch 'master' into gsn-beta

pull/1844/head
Francisco Giordano 6 years ago committed by GitHub
commit b7d3c38f55
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 7
      .editorconfig
  2. 2
      contracts/token/ERC20/ERC20.sol
  3. 2
      scripts/coverage.sh

@ -6,7 +6,12 @@ root = true
[*]
charset = utf-8
end_of_line = lf
indent_size = 2
indent_style = space
insert_final_newline = true
trim_trailing_whitespace = true
[*.sol]
indent_size = 4
[*.js]
indent_size = 2

@ -217,7 +217,7 @@ contract ERC20 is IERC20 {
}
/**
* @dev Destoys `amount` tokens from `account`.`amount` is then deducted
* @dev Destroys `amount` tokens from `account`.`amount` is then deducted
* from the caller's allowance.
*
* See {_burn} and {_approve}.

@ -1,5 +1,7 @@
#!/usr/bin/env bash
set -o errexit
SOLIDITY_COVERAGE=true scripts/test.sh
if [ "$CI" = true ]; then

Loading…
Cancel
Save