[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

grep branch, master, updated. v3.1-27-g38c30f8

From: Paul Eggert
Subject: grep branch, master, updated. v3.1-27-g38c30f8
Date: Sat, 21 Apr 2018 16:53:44 -0400 (EDT)

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "grep".

The branch, master has been updated
       via  38c30f815064309020a3b8eece31af2df2edc251 (commit)
      from  7a89c66674d1b8ff8ab5a294ee79974106bff371 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------

commit 38c30f815064309020a3b8eece31af2df2edc251
Author: Paul Eggert <address@hidden>
Date:   Sat Apr 21 13:53:25 2018 -0700

    doc: fix font typo

diff --git a/doc/ b/doc/
index ffb4979..e260085 100644
--- a/doc/
+++ b/doc/
@@ -621,7 +621,7 @@ using wildcard matching; a name suffix is either the whole
 name, or any suffix starting after a
 .B /
 and before a
-.RI non- / .
+.RB non- / .
 When searching recursively, skip any subfile whose base name matches
 the base name is the part after the last


Summary of changes:
 doc/ | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)


reply via email to

[Prev in Thread] Current Thread [Next in Thread]