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/5370/head
filip mertens 3 years ago
parent da5f6936d7
commit 659d59cd6d
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