/patch-src_client_c/1.3/Mon Apr 15 18:57:55 2013//
/patch-src_terminal-app_c/1.2/Mon Apr  1 09:25:03 2013//
/patch-src_terminal-prefs_c/1.2/Mon Apr 15 18:57:55 2013//
/patch-src_terminal-profiles-list_c/1.1/Sun Mar 31 09:09:09 2013//
/patch-src_terminal-settings-list_c/1.2/Sun Mar 31 09:09:09 2013//
/patch-src_terminal_c/1.5/Mon Apr 15 18:57:55 2013//
D
