| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| patch-source_preferences.pas | 2026-03-17 01:34 | 2.7K | ||
| patch-source_main.pas | 2026-02-02 06:53 | 1.5K | ||
| patch-source_generic__types.pas | 2026-02-02 06:53 | 1.1K | ||
| patch-source_customize__highlighter.pas | 2026-02-02 06:53 | 874 | ||
| patch-source_about.pas | 2026-02-02 06:53 | 684 | ||
| pkg-message.in | 2025-12-17 23:54 | 631 | ||