diff options
Diffstat (limited to 'doc/tutorial/third-party-software.md')
| -rw-r--r-- | doc/tutorial/third-party-software.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/tutorial/third-party-software.md b/doc/tutorial/third-party-software.md index daaf5b2d..644b7b21 100644 --- a/doc/tutorial/third-party-software.md +++ b/doc/tutorial/third-party-software.md @@ -467,6 +467,8 @@ staging mechanism the logical repository it belongs to is rooted in the } ``` +--- + [^1]: Explicit `TREE` references are always a list of length 3, to distinguish them from target references of length 2 (module and target name). Furthermore, the second list element is always `null` |