1 files changed, 1 insertions, 1 deletions
diff --git a/re.html b/re.html
index c7d575b..5c08786 100644
--- a/re.html
+++ b/re.html
@@ -10,7 +10,7 @@
 </head>
 <body>
-<!-- $Id: re.html,v 1.25 2018/06/04 16:21:19 roberto Exp $ -->
+<!-- $Id: re.html $ -->
 <div id="container">

diff --git a/re.html b/re.html index c7d575b..5c08786 100644 --- a/re.html +++ b/re.html
@@ -10,7 +10,7 @@
10	</head>	10	</head>
11	<body>	11	<body>
12		12
13	<!-- $Id: re.html,v 1.25 2018/06/04 16:21:19 roberto Exp $ -->	13	<!-- $Id: re.html $ -->
14		14
15	<div id="container">	15	<div id="container">
16		16