diff options
author | Michal Čihař <michal@cihar.com> | 2014-03-20 12:39:07 +0400 |
---|---|---|
committer | Michal Čihař <michal@cihar.com> | 2014-03-20 12:39:07 +0400 |
commit | edcd09ca1bb260c747e7196244d8057089ca14ad (patch) | |
tree | e9b9a2c04ff4be2f1d9046818629394095015298 /doc/privileges.rst | |
parent | d559fa6a2164870f0db0c92b3c60d8b5dda3c3d2 (diff) |
Remove trailing whitespace from the documentation
Signed-off-by: Michal Čihař <michal@cihar.com>
Diffstat (limited to 'doc/privileges.rst')
-rw-r--r-- | doc/privileges.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/privileges.rst b/doc/privileges.rst index 0c12932d0b..ba5ce6848f 100644 --- a/doc/privileges.rst +++ b/doc/privileges.rst @@ -10,7 +10,7 @@ control over creating users, viewing and editing privileges for existing users, and removing users. Within phpMyAdmin, user management is controlled via the :guilabel:`Users` link -from the main page. Users can be created, edited, and removed. +from the main page. Users can be created, edited, and removed. Creating a new user ------------------- |