Merge branch 'docedit' into 'master'
[web][doc] more fix in links See merge request !266
Showing
- doc/user/algorithms/guide.rst 3 additions, 4 deletionsdoc/user/algorithms/guide.rst
- doc/user/backend/guide.rst 1 addition, 1 deletiondoc/user/backend/guide.rst
- doc/user/dataformats/guide.rst 1 addition, 1 deletiondoc/user/dataformats/guide.rst
- doc/user/experiments/guide.rst 1 addition, 1 deletiondoc/user/experiments/guide.rst
- doc/user/libraries/guide.rst 1 addition, 1 deletiondoc/user/libraries/guide.rst
- doc/user/links.rst 0 additions, 4 deletionsdoc/user/links.rst
- doc/user/overview/guide.rst 4 additions, 4 deletionsdoc/user/overview/guide.rst
- doc/user/settings/guide.rst 1 addition, 1 deletiondoc/user/settings/guide.rst
- doc/user/toolchains/guide.rst 1 addition, 1 deletiondoc/user/toolchains/guide.rst
Please register or sign in to comment