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

Merge pull request #2895 from seandotau/patch-1

Browse Source 
Update plugin_manager.md
uiCheck
yann300 5 years ago committed by GitHub
parent c7fe6bdbde e22ff21d69
commit e716e0667f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
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
      docs/plugin_manager.md

2
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