]> git.ipfire.org Git - thirdparty/git.git/commit
projects / thirdparty / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: e9eb93b 893dce2)
Merge branch 'vd/glossary-dereference-peel'
authorJunio C Hamano <gitster@pobox.com>
Mon, 20 Nov 2023 00:57:23 +0000 (09:57 +0900)
committerJunio C Hamano <gitster@pobox.com>
Mon, 20 Nov 2023 00:57:23 +0000 (09:57 +0900)
commitd003a26cca9d872f090185736f9cf97dac23a3df
treeda74bb549ff578a5aa44288b3636f41c3229a4b5tree
parente9eb93bb2a01c7d3468159a9606ba8c73e0791f0commit | diff
parent893dce2ffbd4e38191f10c67781518acbc3f7b32commit | diff
Merge branch 'vd/glossary-dereference-peel'

"To dereference" and "to peel" were sometimes used in in-code
comments and documentation but without description in the glossary.

* vd/glossary-dereference-peel:
  glossary: add definitions for dereference & peel
Documentation/glossary-content.txt diff1 | diff2 | blob | history
Unnamed repository; edit this file 'description' to name the repository.