diff options
author | Junio C Hamano <gitster@pobox.com> | 2023-11-20 09:57:23 +0900 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2023-11-20 09:57:23 +0900 |
commit | d003a26cca9d872f090185736f9cf97dac23a3df (patch) | |
tree | da74bb549ff578a5aa44288b3636f41c3229a4b5 /builtin/commit-graph.c | |
parent | e9eb93bb2a01c7d3468159a9606ba8c73e0791f0 (diff) | |
parent | 893dce2ffbd4e38191f10c67781518acbc3f7b32 (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
Diffstat (limited to 'builtin/commit-graph.c')
0 files changed, 0 insertions, 0 deletions