diff options
| author | Adam Tauber <asciimoo@gmail.com> | 2019-12-16 11:41:49 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-12-16 11:41:49 +0000 |
| commit | fb6ff5afcb1ec5771bc149fee25d186198aa7607 (patch) | |
| tree | 93d214f4039bea8aa42d8713bc3c2b35d38465ad /docs/dev/index.rst | |
| parent | 3f93fe04d8c43191cc3bff51c9add1c35728c789 (diff) | |
| parent | 02d5173fb23dfcba02634e2765bf7fd91e3d0437 (diff) | |
Merge pull request #1767 from return42/docs
move reST source from gh-pages to master
Diffstat (limited to 'docs/dev/index.rst')
| -rw-r--r-- | docs/dev/index.rst | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/docs/dev/index.rst b/docs/dev/index.rst new file mode 100644 index 000000000..8e18066ca --- /dev/null +++ b/docs/dev/index.rst @@ -0,0 +1,13 @@ +======================= +Developer documentation +======================= + +.. toctree:: + :maxdepth: 1 + + quickstart + contribution_guide + engine_overview + search_api + plugins + translation |