From 4eba6476a8ce1f6b4d7f8579435a160326a32e94 Mon Sep 17 00:00:00 2001 From: "Davide P. Cervone" Date: Tue, 8 Mar 2011 13:38:03 -0500 Subject: [PATCH] Change URL of docs page in docs menu layout --- docs/source/mjtheme/layout.html | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/source/mjtheme/layout.html b/docs/source/mjtheme/layout.html index f7e71a429..4fd9d5430 100644 --- a/docs/source/mjtheme/layout.html +++ b/docs/source/mjtheme/layout.html @@ -203,7 +203,7 @@
  • Resources