diff options
| author | drebs <drebs@riseup.net> | 2017-09-28 16:53:40 -0300 |
|---|---|---|
| committer | drebs <drebs@riseup.net> | 2017-09-28 16:53:40 -0300 |
| commit | 9694b5424507c03a2494713354e8a20a2f8a8d43 (patch) | |
| tree | ef0a5e1bdc205a3e2b2dc3728bfa0d9cc64618a0 /docs/misc.rst | |
| parent | 4aae2b421552c3f25903cc50c74544323348d66c (diff) | |
[doc] remove unused pages
Diffstat (limited to 'docs/misc.rst')
| -rw-r--r-- | docs/misc.rst | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/misc.rst b/docs/misc.rst index 97d9ad73..67f3ca3d 100644 --- a/docs/misc.rst +++ b/docs/misc.rst @@ -7,5 +7,6 @@ relevant information about the development process. .. toctree:: :maxdepth: 2 - misc/benchmarks-website.rst - misc/benchmarks-python-graphs.rst + misc/sync + misc/benchmarks-website + misc/benchmarks-python-graphs |