Index: doc/index.html =================================================================== diff -u -rb3b84471d612c5883ec44ee884b6e03fd6574a32 -r2c0baf4a8ccba0820da0b4f318be18d2051e00ae --- doc/index.html (.../index.html) (revision b3b84471d612c5883ec44ee884b6e03fd6574a32) +++ doc/index.html (.../index.html) (revision 2c0baf4a8ccba0820da0b4f318be18d2051e00ae) @@ -23,7 +23,7 @@