diff options
Diffstat (limited to 'documentation/ref-manual/ref-devtool-reference.rst')
| -rw-r--r-- | documentation/ref-manual/ref-devtool-reference.rst | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/documentation/ref-manual/ref-devtool-reference.rst b/documentation/ref-manual/ref-devtool-reference.rst index c91ba5bdfa..5bb1a64d99 100644 --- a/documentation/ref-manual/ref-devtool-reference.rst +++ b/documentation/ref-manual/ref-devtool-reference.rst | |||
| @@ -1,3 +1,5 @@ | |||
| 1 | .. SPDX-License-Identifier: CC-BY-2.0-UK | ||
| 2 | |||
| 1 | *************************** | 3 | *************************** |
| 2 | ``devtool`` Quick Reference | 4 | ``devtool`` Quick Reference |
| 3 | *************************** | 5 | *************************** |