diff options
Diffstat (limited to '')
-rw-r--r-- | c-user/timer_manager.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/c-user/timer_manager.rst b/c-user/timer_manager.rst index d9ffd92..000348d 100644 --- a/c-user/timer_manager.rst +++ b/c-user/timer_manager.rst @@ -5,7 +5,7 @@ .. COMMENT: All rights reserved. Timer Manager -############# +************* .. index:: timers |