mirror
/
remix-project
mirror of https://github.com/ethereum/remix-project.git
2
0
Fork 0
Code Issues Releases Wiki Activity

perms lint

Browse Source
pull/1754/head
filip mertens 3 years ago
parent fecb90cda6
commit c6a978a6a6
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
      apps/remix-ide/ci/lint.sh
Write Preview
Loading…
Cancel
Save