From b9974cd19fc509aecb55a5f25d4cd657bee1da39 Mon Sep 17 00:00:00 2001 From: Michael R Sweet Date: Fri, 23 Nov 2007 06:44:38 +0000 Subject: [PATCH] Update size of documentation. --- www/documentation.php | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/www/documentation.php b/www/documentation.php index 0903e3f..77538da 100644 --- a/www/documentation.php +++ b/www/documentation.php @@ -202,7 +202,7 @@ multiple files with comments on-line: