From 2db9761e3e5789ab10b3a18857fb183ce1bd5107 Mon Sep 17 00:00:00 2001 From: lianahus Date: Fri, 19 Nov 2021 17:37:46 +0100 Subject: [PATCH] Added link to docs for slither --- apps/remix-ide/src/app/files/slither-handle.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/apps/remix-ide/src/app/files/slither-handle.js b/apps/remix-ide/src/app/files/slither-handle.js index e8ff1e66c7..9604202d7e 100644 --- a/apps/remix-ide/src/app/files/slither-handle.js +++ b/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 {