diff options
Diffstat (limited to 'c-user/user_extensions.rst')
| -rw-r--r-- | c-user/user_extensions.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/c-user/user_extensions.rst b/c-user/user_extensions.rst index aba0d9b..662ddf4 100644 --- a/c-user/user_extensions.rst +++ b/c-user/user_extensions.rst @@ -7,7 +7,7 @@ .. _User Extensions Manager: User Extensions Manager -####################### +*********************** .. index:: user extensions |