diff --git a/docs/index.html b/docs/index.html index ebe2c9435..523b74cf0 100644 --- a/docs/index.html +++ b/docs/index.html @@ -23,11 +23,12 @@
Version 1.3 - 2000/12/01
Version $Id$