../ extra-terminal.c.diff 23-Oct-2026 18:19 385 patch-configure 23-Oct-2026 18:19 1970 patch-default.c 23-Oct-2026 18:19 603 patch-types.c 23-Oct-2026 18:19 614