diff options
| -rw-r--r-- | doc/development.rst | 3 | ||||
| -rw-r--r-- | docs/plugins.rst (renamed from doc/plugins.rst) | 0 |
2 files changed, 0 insertions, 3 deletions
diff --git a/doc/development.rst b/doc/development.rst deleted file mode 100644 index 6868fe73a..000000000 --- a/doc/development.rst +++ /dev/null @@ -1,3 +0,0 @@ -Getting started with development -================================ - diff --git a/doc/plugins.rst b/docs/plugins.rst index 76df7e071..76df7e071 100644 --- a/doc/plugins.rst +++ b/docs/plugins.rst |