|
|
@@ -93,7 +93,7 @@ Exporting the editor plugins is performed in Eclipse.
|
|
|
|
|
|
### Deploying the Editor Plugins
|
|
|
|
|
|
-1. Take the jar files generated in [Exporting the Editor Plugins](exporting-the-editor-plugins) and move them to the eclipse *dropins* folder. Make sure the eclipse distribution is equivalent to the distribution used in [IDE Configuration](ide-configuration).
|
|
|
+1. Take the jar files generated in [Exporting the Editor Plugins](#exporting-the-editor-plugins) and move them to the eclipse *dropins* folder. Make sure the eclipse distribution is equivalent to the distribution used in [IDE Configuration](#ide-configuration).
|
|
|
|
|
|
## Contributing
|
|
|
|
Claudio Gomes