Removed old plugin docs

2020-01-22 16:36:59 +00:00 · 2020-01-22 16:36:59 +00:00 · 1eda70045c
commit 1eda70045c
parent 58123a76c2
12 changed files with 70 additions and 702 deletions
--- a/docs/source/plugins.rst
+++ b/docs/source/plugins.rst
@ -10,4 +10,5 @@ Developing API Extensions
   ./extensions/marshaling.rst
   ./extensions/properties.rst
   ./extensions/actions.rst
-   ./extensions/tasks_locks.rst
+   ./extensions/tasks_locks.rst
+   ./extensions/ev_gui.rst