diff options
| author | Jason Gross | 2020-02-11 17:07:39 -0500 |
|---|---|---|
| committer | GitHub | 2020-02-11 17:07:39 -0500 |
| commit | 82ab894460fb25d85acf8c4ce0d177ecc4dbfd86 (patch) | |
| tree | 4b07e027aaa26049b02e833d5db73c8251236213 /doc | |
| parent | 53f6560f766fdbb7176eb7247c712c690f4a6f1f (diff) | |
Update doc/sphinx/practical-tools/utilities.rst
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/sphinx/practical-tools/utilities.rst | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/sphinx/practical-tools/utilities.rst b/doc/sphinx/practical-tools/utilities.rst index 24b766b204..626a658b6c 100644 --- a/doc/sphinx/practical-tools/utilities.rst +++ b/doc/sphinx/practical-tools/utilities.rst @@ -389,7 +389,7 @@ line timing data: By default, two lines are only considered the same if the character offsets and initial code strings are identical. Passing ``TIMING_FUZZ=N`` relaxes this constraint by allowing the - character offsets to differ by up to ``N`` characters, as long + character locations to differ by up to ``N``, as long as the total number of characters and initial code strings continue to match. This is useful when there are small changes to a file, and you want to match later lines that have not |
