/patch-configure_ac/1.15/Sat Dec 14 09:53:18 2013//
/patch-js_Makefile_am/1.5/Sat Oct 12 14:39:38 2013//
/patch-js_misc_config_js_in/1.5/Sat Oct 12 14:39:38 2013//
/patch-js_ui_panel_js/1.13/Wed Oct 16 09:03:55 2013//
/patch-js_ui_sessionMode_js/1.7/Sat Oct 12 14:39:38 2013//
/patch-src_Makefile_am/1.8/Sat Oct 12 14:39:38 2013//
/patch-src_shell-global_c/1.3/Thu Feb 20 17:55:45 2014//
D
