diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2022-11-22 11:18:53 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-11-22 11:18:53 +0100 |
| commit | 96a9511a9c424f0986d6c01bef63afff672fa986 (patch) | |
| tree | 0b92aa76dab4b86f2f9f85a8edb69ca3a2ed381d | |
| parent | 02c02ee7c3db51d6193544d0404d5cf4f3975e2c (diff) | |
| parent | 52f0c809173fe977ac0b46a8506d0c9af208a197 (diff) | |
Merge pull request #7333 from fricklerhandwerk/language-overview
fix error in language overview
| -rw-r--r-- | doc/manual/src/language/index.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/src/language/index.md b/doc/manual/src/language/index.md index f9e9b9781..db34fde75 100644 --- a/doc/manual/src/language/index.md +++ b/doc/manual/src/language/index.md @@ -93,7 +93,7 @@ This is an incomplete overview of language features, by example. `"hello ${ { a = "world" }.a }"` - `"1 2 ${3}"` + `"1 2 ${toString 3}"` `"${pkgs.bash}/bin/sh"` |