[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Changes to grep/manual/html_node/Command_002dline-Options.html,v
From: |
Jim Meyering |
Subject: |
Changes to grep/manual/html_node/Command_002dline-Options.html,v |
Date: |
Wed, 04 Jul 2012 16:36:29 +0000 |
CVSROOT: /webcvs/grep
Module name: grep
Changes by: Jim Meyering <meyering> 12/07/04 16:36:26
Index: html_node/Command_002dline-Options.html
===================================================================
RCS file: /webcvs/grep/grep/manual/html_node/Command_002dline-Options.html,v
retrieving revision 1.11
retrieving revision 1.12
diff -u -b -r1.11 -r1.12
--- html_node/Command_002dline-Options.html 24 Apr 2012 08:03:54 -0000
1.11
+++ html_node/Command_002dline-Options.html 4 Jul 2012 16:36:23 -0000
1.12
@@ -1,8 +1,8 @@
<html lang="en">
<head>
-<title>Command-line Options - GNU Grep 2.12</title>
+<title>Command-line Options - GNU Grep 2.13</title>
<meta http-equiv="Content-Type" content="text/html">
-<meta name="description" content="GNU Grep 2.12">
+<meta name="description" content="GNU Grep 2.13">
<meta name="generator" content="makeinfo 4.13">
<link title="Top" rel="start" href="index.html#Top">
<link rel="up" href="Invoking.html#Invoking" title="Invoking">
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- Changes to grep/manual/html_node/Command_002dline-Options.html,v,
Jim Meyering <=