diff --git a/doc/history.html b/doc/history.html index 20d25281..be7360bb 100644 --- a/doc/history.html +++ b/doc/history.html @@ -76,6 +76,10 @@ September 27, 2000.