remove junk at end of document

2001-01-13 00:44:03 +00:00 · 2001-01-13 00:44:03 +00:00 · 54975472e4
commit 54975472e4
parent 51772848b5
1 changed files with 0 additions and 1 deletions
--- a/doc/comparison.html
+++ b/doc/comparison.html
@ -692,4 +692,3 @@

 </BODY>
 </HTML>
-17:17.42