[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: noweb-start and noweb-end header args
From: |
Amy Grinn |
Subject: |
Re: noweb-start and noweb-end header args |
Date: |
Thu, 07 Mar 2024 10:06:55 -0500 |
User-agent: |
Gnus/5.13 (Gnus v5.13) |
Ihor Radchenko <yantar92@posteo.net> writes:
> Amy Grinn <grinn.amy@gmail.com> writes:
>
>> Here is a simple way to implement this feature.
>
> Since you are adding a new feature, it should have (1) test coverage;
> (2) be documented in the manual; (3) be announced in etc/ORG-NEWS.
Thank you for the tips, will do!
- Re: noweb-start and noweb-end header args, (continued)
- Re: noweb-start and noweb-end header args, Ihor Radchenko, 2024/03/06
- Re: noweb-start and noweb-end header args, Amy Grinn, 2024/03/06
- Re: noweb-start and noweb-end header args, Ihor Radchenko, 2024/03/06
- Re: noweb-start and noweb-end header args, Amy Grinn, 2024/03/06
- Re: noweb-start and noweb-end header args, Ihor Radchenko, 2024/03/07
- Re: noweb-start and noweb-end header args, Amy Grinn, 2024/03/06
- Re: noweb-start and noweb-end header args, Ihor Radchenko, 2024/03/07
- Re: noweb-start and noweb-end header args, Amy Grinn, 2024/03/07
- Re: noweb-start and noweb-end header args, Ihor Radchenko, 2024/03/07
Re: noweb-start and noweb-end header args, Ihor Radchenko, 2024/03/07
- Re: noweb-start and noweb-end header args,
Amy Grinn <=