diff options
| author | Valentin Gagarin <valentin.gagarin@tweag.io> | 2023-02-27 12:55:14 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-27 12:55:14 +0100 |
| commit | ec317949f9c27f00e292e65e0d956ed187a4fd63 (patch) | |
| tree | 7e276558587bc202e60c7077049477828a10193a /doc/manual | |
| parent | f370a5a26cf8680f0d77b07d71b471a3e5222a48 (diff) | |
remove "references" as distinct term
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/src/glossary.md | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/doc/manual/src/glossary.md b/doc/manual/src/glossary.md index eeabdbfdc..28842834b 100644 --- a/doc/manual/src/glossary.md +++ b/doc/manual/src/glossary.md @@ -116,7 +116,6 @@ - [reference]{#gloss-reference}\ A [store object] `O` is said to have a *reference* to a store object `P` if a [store path] to `P` appears in the contents of `O`. - The *references* of a store object `O` are the set of store objects to which `O` has a reference. Store objects can refer to both other store objects and themselves. References from a store object to itself are called *self-references*. |