/patch-js_Makefile_am/1.2/Sun Sep 30 14:45:23 2012//
/patch-js_misc_config_js_in/1.2/Sun Sep 30 14:45:23 2012//
/patch-configure_ac/1.10/Sun Jul  7 17:19:44 2013//
/patch-docs_reference_shell_Makefile_am/1.2/Sun Jul  7 17:19:44 2013//
/patch-js_ui_panel_js/1.7/Sun Jul  7 17:19:44 2013//
/patch-js_ui_sessionMode_js/1.3/Sun Jul  7 17:19:44 2013//
/patch-src_Makefile_am/1.4/Sun Jul  7 17:19:44 2013//
D
