Index: doc/user/09_appendix/external_resources.html =================================================================== --- doc/user/09_appendix/external_resources.html (revision 24802) +++ doc/user/09_appendix/external_resources.html (revision 24803) @@ -35,9 +35,9 @@