Index: doc/user/09_appendix/external_resources.html =================================================================== --- doc/user/09_appendix/external_resources.html (revision 24801) +++ doc/user/09_appendix/external_resources.html (revision 24802) @@ -13,34 +13,31 @@