diff options
Diffstat (limited to 'c-user/barrier_manager.rst')
| -rw-r--r-- | c-user/barrier_manager.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/c-user/barrier_manager.rst b/c-user/barrier_manager.rst index 8e49ef4..c312c76 100644 --- a/c-user/barrier_manager.rst +++ b/c-user/barrier_manager.rst @@ -6,6 +6,8 @@ .. index:: barrier +.. _barrier_manager: + Barrier Manager *************** |