[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#65820: [PATCH 0/3] gnu: Add vim-coqtail.
From: |
Ludovic Courtès |
Subject: |
bug#65820: [PATCH 0/3] gnu: Add vim-coqtail. |
Date: |
Thu, 23 Nov 2023 11:35:31 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Hello,
Jean-Pierre De Jesus DIAZ <jean@foundationdevices.com> skribis:
> gnu: Add vim-vader.
> gnu: Add coq-for-coqtail.
> gnu: Add vim-coqtail.
Finally applied. Thanks for the patches and for the explanations!
Ludo’.
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- bug#65820: [PATCH 0/3] gnu: Add vim-coqtail.,
Ludovic Courtès <=