Merge branch 'master' into editorColors

pull/1742/head
Liana Husikyan 3 years ago committed by GitHub
commit df2c3579e3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 3
      apps/remix-ide/src/app/files/slither-handle.js

@ -8,7 +8,8 @@ const profile = {
methods: ['analyse'],
description: 'Using Remixd daemon, run slither static analysis',
kind: 'other',
version: packageJson.version
version: packageJson.version,
documentation: 'https://remix-ide.readthedocs.io/en/latest/slither.html'
}
export class SlitherHandle extends WebsocketPlugin {

Loading…
Cancel
Save