../ patch-source_about.pas 23-Oct-2026 18:19 684 patch-source_customize__highlighter.pas 23-Oct-2026 18:19 874 patch-source_generic__types.pas 23-Oct-2026 18:19 1103 patch-source_main.pas 23-Oct-2026 18:19 1583 patch-source_preferences.pas 23-Oct-2026 18:19 2765 pkg-message.in 23-Oct-2026 18:19 631