From d9f83dded93a35fb333c4e1bd371c401f7129fd1 Mon Sep 17 00:00:00 2001
From: Roberto Ierusalimschy <roberto@inf.puc-rio.br>
Date: Mon, 11 Mar 2019 11:04:25 -0300
Subject: Some details before release 1.0.2

- changed release number
- small corrections in 'pack'
- removed "about" section in .html files
- added files 'HISTORY' and 'lpeg-128.gif'
---
 re.html | 6 ------
 1 file changed, 6 deletions(-)

(limited to 're.html')

diff --git a/re.html b/re.html
index 5c08786..ad60d50 100644
--- a/re.html
+++ b/re.html
@@ -488,12 +488,6 @@ THE SOFTWARE.
 
 </div> <!-- id="main" -->
 
-<div id="about">
-<p><small>
-$Id: re.html,v 1.25 2018/06/04 16:21:19 roberto Exp $
-</small></p>
-</div> <!-- id="about" -->
-
 </div> <!-- id="container" -->
 
 </body>
-- 
cgit v1.2.3-55-g6feb