src/HOLCF/README.html
changeset 35174 e15040ae75d7
parent 24567 4970fb01aa01
--- a/src/HOLCF/README.html	Wed Feb 17 09:22:40 2010 -0800
+++ b/src/HOLCF/README.html	Wed Feb 17 10:00:22 2010 -0800
@@ -1,7 +1,5 @@
 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
 
-<!-- $Id$ -->
-
 <html>
 
 <head>