[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options
From: |
Eshel Yaron |
Subject: |
bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options |
Date: |
Fri, 26 Apr 2024 11:49:19 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Tags: patch
This makes it easier for users to customize generated '*-modes' options,
such as 'global-completion-preview-modes', via the Custom interface.
0001-Refine-the-Custom-type-of-generated-modes-options.patch
Description: Text Data
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options,
Eshel Yaron <=
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eli Zaretskii, 2024/04/26
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eli Zaretskii, 2024/04/27
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Stefan Monnier, 2024/04/27
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eshel Yaron, 2024/04/27
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eshel Yaron, 2024/04/27
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Stefan Monnier, 2024/04/27
- bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eshel Yaron, 2024/04/28
bug#70589: [PATCH] Refine the Custom type of generated '*-modes' options, Eli Zaretskii, 2024/04/26