diff options
author | Eelco Dolstra <edolstra@gmail.com> | 2017-10-30T09·25+0100 |
---|---|---|
committer | Eelco Dolstra <edolstra@gmail.com> | 2017-10-30T09·25+0100 |
commit | 049322702b5629c1058249370d38ae8d23f47bdd (patch) | |
tree | df7fa4ba752f38459466f880950036dfbb45b08c /doc | |
parent | 23ce4b33932260ad1f1bca4978ea274a1da1e0ad (diff) |
fetchgit -> fetchGit
Almost all other primops are camelCase so no reason not to use that here.
Diffstat (limited to 'doc')
-rw-r--r-- | doc/manual/release-notes/rl-1.12.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/manual/release-notes/rl-1.12.xml b/doc/manual/release-notes/rl-1.12.xml index adfbaa157f22..d8fc2bcf89b1 100644 --- a/doc/manual/release-notes/rl-1.12.xml +++ b/doc/manual/release-notes/rl-1.12.xml @@ -184,7 +184,7 @@ </listitem> <listitem> - <para><function>builtins.fetchgit</function>. + <para><function>builtins.fetchGit</function>. (38539b943a060d9cdfc24d6e5d997c0885b8aa2f)</para> </listitem> |