Index: arms/docs/index.html =================================================================== diff -u -r974c4453cb6007b1cb6743983a84fcbc33ba4703 -r39d3303fe8537f1df804d1b35018309bad9d8c1b --- arms/docs/index.html (.../index.html) (revision 974c4453cb6007b1cb6743983a84fcbc33ba4703) +++ arms/docs/index.html (.../index.html) (revision 39d3303fe8537f1df804d1b35018309bad9d8c1b) @@ -140,8 +140,6 @@