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

Update plugin_manager.md

Browse Source 
Updated typo.
pull/11/head
seandotau 5 years ago committed by ioedeveloper
parent 96a7e4081d
commit 3046de4813
1 changed files with 1 additions and 1 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. 2
      apps/remix-ide/docs/plugin_manager.md

2
apps/remix-ide/docs/plugin_manager.md
Unescape View File

@ -4,7 +4,7 @@ Plugin Manager
## Everything is a PLUGIN in Remix
In order to integrate new tools made by us and by ...you into Remix, we've now made everything a plugin.
This architcture will also allow Remix or just parts of Remix to be integrated into other projects (your's for example).
This architecture will also allow Remix or just parts of Remix to be integrated into other projects (your's for example).
This means that you only load the functionality you need.

Write Preview
Loading…
Cancel
Save