diff options
author | 2017-03-09 12:15:46 +0000 | |
---|---|---|
committer | 2017-03-09 12:15:46 +0000 | |
commit | a942a43f9e3bcd73334e99fcd092466fdae01b17 (patch) | |
tree | 3e1cd4576715aff627fa7a74a6b177c6347a59d3 /docs/release/userguide | |
parent | d10f22decf8e511ce9421d707c56bed0d26c848d (diff) | |
parent | 8b636438c989422ee3dbf6183842b3f2cc859ab0 (diff) |
Merge "Adding Labels"
Diffstat (limited to 'docs/release/userguide')
-rw-r--r-- | docs/release/userguide/index.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/docs/release/userguide/index.rst b/docs/release/userguide/index.rst index 87059c9..addc37e 100644 --- a/docs/release/userguide/index.rst +++ b/docs/release/userguide/index.rst @@ -1,3 +1,5 @@ +.. _parser-userguide: + .. This work is licensed under a Creative Commons Attribution 4.0 International License. .. http://creativecommons.org/licenses/by/4.0 |