diff options
author | RĂ©mi Verschelde <rverschelde@gmail.com> | 2018-06-13 14:29:45 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-06-13 14:29:45 +0200 |
commit | f0fa5902100b5b2a6207b1656cf90af3c36bd213 (patch) | |
tree | b901e9760a7bade5ad0c0c48d55c21e5c1c7d39f /doc/classes/EditorPlugin.xml | |
parent | 62b75a94ec9c746aa6f58dad39ca2917428a38f1 (diff) | |
parent | 98b59cf2a387e469851eee137cc6310cfc4b2a6d (diff) |
Merge pull request #19526 from robojumper/fix_tutorials
Add support for tutorial links to makerst.py
Diffstat (limited to 'doc/classes/EditorPlugin.xml')
-rw-r--r-- | doc/classes/EditorPlugin.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/classes/EditorPlugin.xml b/doc/classes/EditorPlugin.xml index 860d98ab62..b9945f3f73 100644 --- a/doc/classes/EditorPlugin.xml +++ b/doc/classes/EditorPlugin.xml @@ -7,7 +7,7 @@ Plugins are used by the editor to extend functionality. The most common types of plugins are those which edit a given node or resource type, import plugins and export plugins. </description> <tutorials> - http://docs.godotengine.org/en/3.0/development/plugins/index.html + <link>http://docs.godotengine.org/en/3.0/development/plugins/index.html</link> </tutorials> <demos> </demos> |