diff options
| author | J. Bruce Fields <bfields@citi.umich.edu> | 2007-08-20 19:12:09 +0400 |
|---|---|---|
| committer | J. Bruce Fields <bfields@citi.umich.edu> | 2007-08-26 18:35:17 +0400 |
| commit | d5821de2e29a3a207a2c5188f73b7d1f6d52fc34 (patch) | |
| tree | 56b158b3895886718d2d4fb2a64c2d7054a70592 /Documentation/user-manual.txt | |
| parent | e2618ff42716dd7cbc7a353670f46f357c5fb4c5 (diff) | |
user-manual: fix incorrect header level
This section is a subsection of the "Examples" section.
Signed-off-by: J. Bruce Fields <bfields@citi.umich.edu>
Diffstat (limited to 'Documentation/user-manual.txt')
| -rw-r--r-- | Documentation/user-manual.txt | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/user-manual.txt b/Documentation/user-manual.txt index 77e73bf22c..1c3f0e65f1 100644 --- a/Documentation/user-manual.txt +++ b/Documentation/user-manual.txt @@ -914,7 +914,7 @@ they look OK. [[Finding-comments-with-given-content]] Finding commits referencing a file with given content ------------------------------------------------------ +~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Somebody hands you a copy of a file, and asks which commits modified a file such that it contained the given content either before or after the |