diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2020-01-10 14:16:52 +0100 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2020-01-10 14:16:52 +0100 |
| commit | 750732f18f69718e44862c65eba5c7bf05570d3a (patch) | |
| tree | c2dec8eeef2df7b4160f0f66b10d69624b7aa122 /tools-reference/diff-and-patch | |
| parent | appendices/further-reading: Update references. (diff) | |
| download | devmanual-750732f18f69718e44862c65eba5c7bf05570d3a.tar.gz devmanual-750732f18f69718e44862c65eba5c7bf05570d3a.tar.bz2 devmanual-750732f18f69718e44862c65eba5c7bf05570d3a.zip | |
tools-reference/{diff-and-patch,false-and-true}: Fix title.
Signed-off-by: Ulrich Müller <ulm@gentoo.org>
Diffstat (limited to 'tools-reference/diff-and-patch')
| -rw-r--r-- | tools-reference/diff-and-patch/text.xml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools-reference/diff-and-patch/text.xml b/tools-reference/diff-and-patch/text.xml index 01f1ad0..650c9d3 100644 --- a/tools-reference/diff-and-patch/text.xml +++ b/tools-reference/diff-and-patch/text.xml @@ -1,7 +1,7 @@ <?xml version="1.0"?> <guide self="tools-reference/diff-and-patch/"> <chapter> -<title><c>diff and patch</c> -- File Differences</title> +<title><c>diff</c> and <c>patch</c> -- File Differences</title> <body> <p> |