diff options
author | Michal Čihař <michal@cihar.com> | 2017-06-06 17:32:18 +0300 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2017-06-06 17:32:34 +0300 |
commit | 4d9b9cad36df6c7e1e1320b97318345ab01448da (patch) | |
tree | 34bee6c01b6da4458d9d435c475ad0795d30d865 /doc/user.rst | |
parent | 257ba6b7e2778c57a82394ca1828ab63e6c14118 (diff) |
Added documentation on user settings
Fixes #13193
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'doc/user.rst')
-rw-r--r-- | doc/user.rst | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/doc/user.rst b/doc/user.rst index 8af756a7bb..ac65bf5f4c 100644 --- a/doc/user.rst +++ b/doc/user.rst @@ -4,6 +4,7 @@ User Guide .. toctree:: :maxdepth: 2 + settings transformations bookmarks privileges |