[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Make all tree-sitter modes optional
From: |
Po Lu |
Subject: |
Re: Make all tree-sitter modes optional |
Date: |
Thu, 16 Feb 2023 16:52:55 +0800 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
People, when replying to dick, it would be easier to simply say:
*plonk*
perform the associated action, and then let that kook and/or troll shout
his head off in peace. :-)
- Re: Make all tree-sitter modes optional, (continued)
- Re: Make all tree-sitter modes optional, Eli Zaretskii, 2023/02/15
- Re: Make all tree-sitter modes optional, Alan Mackenzie, 2023/02/15
- Re: Make all tree-sitter modes optional, tomas, 2023/02/16
- Re: Make all tree-sitter modes optional, Eli Zaretskii, 2023/02/16
- Re: Make all tree-sitter modes optional, Yuan Fu, 2023/02/16
- Message not available
- Re: Make all tree-sitter modes optional, Eli Zaretskii, 2023/02/15
- Message not available
- Re: Make all tree-sitter modes optional, Eli Zaretskii, 2023/02/16
- Re: Make all tree-sitter modes optional,
Po Lu <=
- Re: Make all tree-sitter modes optional, Alan Mackenzie, 2023/02/15
- Re: Make all tree-sitter modes optional, Alan Mackenzie, 2023/02/17
- Re: Make all tree-sitter modes optional, Po Lu, 2023/02/17
- Re: Make all tree-sitter modes optional, Stefan Monnier, 2023/02/17
- Re: Make all tree-sitter modes optional, Po Lu, 2023/02/17
- Re: Make all tree-sitter modes optional, Eli Zaretskii, 2023/02/17
- Re: Make all tree-sitter modes optional, Dmitry Gutov, 2023/02/17
- Re: Make all tree-sitter modes optional, Eli Zaretskii, 2023/02/17
- Message not available
- Re:, Alan Mackenzie, 2023/02/17
- Re: Make all tree-sitter modes optional, Stefan Kangas, 2023/02/17