diff options
| author | Felix C. Stegerman <flx@obfusk.net> | 2018-11-12T16·50+0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-12T16·50+0100 |
| commit | 18215be59d39741dae96a4a3be6d364b52c10e9b (patch) | |
| tree | 5d475912b13413148c01a764758f4f66aeb8174f /doc/manual/expressions/builtins.xml | |
| parent | b05d6dac7ba662ccf7af8b5a112a20f460e0d50e (diff) | |
fix typo (s/gift/git/)
Diffstat (limited to 'doc/manual/expressions/builtins.xml')
| -rw-r--r-- | doc/manual/expressions/builtins.xml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/manual/expressions/builtins.xml b/doc/manual/expressions/builtins.xml index 03a60a3c4c74..cdadfef707b0 100644 --- a/doc/manual/expressions/builtins.xml +++ b/doc/manual/expressions/builtins.xml @@ -436,7 +436,7 @@ stdenv.mkDerivation { … } <title>Fetching a repository's specific commit on an arbitrary branch</title> <para> If the revision you're looking for is in the default branch - of the gift repository you don't strictly need to specify + of the git repository you don't strictly need to specify the branch name in the <varname>ref</varname> attribute. </para> <para> @@ -465,7 +465,7 @@ stdenv.mkDerivation { … } <title>Fetching a repository's specific commit on the default branch</title> <para> If the revision you're looking for is in the default branch - of the gift repository you may omit the + of the git repository you may omit the <varname>ref</varname> attribute. </para> <programlisting>builtins.fetchGit { |