diff --git a/doc/src/FAQ/FAQ_DEV.html b/doc/src/FAQ/FAQ_DEV.html index 642776e84cc..0ca9fb0277d 100644 --- a/doc/src/FAQ/FAQ_DEV.html +++ b/doc/src/FAQ/FAQ_DEV.html @@ -12,7 +12,7 @@
Last updated: Tue Nov 27 18:43:59 EST 2001
+Last updated: Tue Nov 27 19:09:59 EST 2001