1 files changed, 1 insertions, 1 deletions
diff --git a/lpeg.html b/lpeg.html
index 5c9535f..855e83f 100644
--- a/lpeg.html
+++ b/lpeg.html
@@ -10,7 +10,7 @@
 </head>
 <body>
-<!-- $Id: lpeg.html,v 1.77 2017/01/13 13:40:05 roberto Exp $ -->
+<!-- $Id: lpeg.html $ -->
 <div id="container">

diff --git a/lpeg.html b/lpeg.html index 5c9535f..855e83f 100644 --- a/lpeg.html +++ b/lpeg.html
@@ -10,7 +10,7 @@
10	</head>	10	</head>
11	<body>	11	<body>
12		12
13	<!-- $Id: lpeg.html,v 1.77 2017/01/13 13:40:05 roberto Exp $ -->	13	<!-- $Id: lpeg.html $ -->
14		14
15	<div id="container">	15	<div id="container">
16		16