diff options
| author |  J. Bruce Fields <bfields@citi.umich.edu> | 2007-11-25 19:01:57 -0500 |
|---|---|---|
| committer | J. Bruce Fields <bfields@citi.umich.edu> | 2007-11-25 19:01:57 -0500 |
| commit | 7cb192eab0251911e2ca77d4ecceb621dd2d34f5 (patch) | |
| tree | 364b199c92dba4e3f64920ffd364c13b211c73f2 /ident.c | |
| parent | user-manual: failed push to public repository (diff) | |
| download | tgif-7cb192eab0251911e2ca77d4ecceb621dd2d34f5.tar.xz | |
user-manual: clarify language about "modifying" old commits
It's important to remember that git doesn't really allowing "editing" or
"modifying" commits, only replacing them by new commits. Redo some of
the language to make this clearer.
Signed-off-by: J. Bruce Fields <bfields@citi.umich.edu>
Diffstat (limited to 'ident.c')
0 files changed, 0 insertions, 0 deletions