diff options
| author | Junio C Hamano <gitster@pobox.com> | 2015-10-29 14:45:26 -0700 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2015-10-29 14:45:26 -0700 |
| commit | ee615806f274b21a580f4f3d4380973fdcae6efa (patch) | |
| tree | 0cd12a55c64ebe63485c157ebaf9f61606c25aaf /user-manual.txt | |
| parent | daf0aaecf41c91c2307b7a38218f6b2d37669ad1 (diff) | |
| download | git-htmldocs-ee615806f274b21a580f4f3d4380973fdcae6efa.tar.gz | |
Autogenerated HTML docs for v2.6.2-367-g80980a
Diffstat (limited to 'user-manual.txt')
| -rw-r--r-- | user-manual.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/user-manual.txt b/user-manual.txt index 1b7987e73..764a270c8 100644 --- a/user-manual.txt +++ b/user-manual.txt @@ -1491,7 +1491,7 @@ resolving a merge>>. [[fixing-a-mistake-by-rewriting-history]] Fixing a mistake by rewriting history -~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ If the problematic commit is the most recent commit, and you have not yet made that commit public, then you may just |