[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: the opposite of the noexport tag
From: |
Uwe Brauer |
Subject: |
Re: the opposite of the noexport tag |
Date: |
Mon, 23 Oct 2023 14:59:58 +0200 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/29.0.50 (gnu/linux) |
>>> "IR" == Ihor Radchenko <yantar92@posteo.net> writes:
> Uwe Brauer <oub@mat.ucm.es> writes:
>> I recommend then to clarify this is in the manual: the expression in the
>> manual is
>> `("export")'
> What about the attached patch?
I added some lines, and run rediff and I hoper therefore the modified patch is
ok.
Feel free to use it
--
Warning: Content may be disturbing to some audiences
I strongly condemn Hamas bestialic terroristic attack on Israel, especially the
despicable pogroms.
I strongly condemn Putin's war of aggression against Ukraine.
I support to deliver weapons to Ukraine's military.
I support the NATO membership of Ukraine.
I support the EU membership of Ukraine.
https://addons.thunderbird.net/en-US/thunderbird/addon/gmail-conversation-view/
0001-doc-org-manual.org-Improve-documentation-for-SELECT_UB.patch
Description: Text Data
smime.p7s
Description: S/MIME cryptographic signature
- Re: the opposite of the noexport tag, (continued)
- Re: the opposite of the noexport tag, Bruno Barbier, 2023/10/22
- Re: the opposite of the noexport tag, Uwe Brauer, 2023/10/22
- Re: the opposite of the noexport tag, Ihor Radchenko, 2023/10/22
- Re: the opposite of the noexport tag, Uwe Brauer, 2023/10/22
- Re: the opposite of the noexport tag, Ihor Radchenko, 2023/10/22
- Re: the opposite of the noexport tag, Uwe Brauer, 2023/10/22
- Re: the opposite of the noexport tag, Ihor Radchenko, 2023/10/23
- Re: the opposite of the noexport tag, Uwe Brauer, 2023/10/23
- Re: the opposite of the noexport tag, Ihor Radchenko, 2023/10/23
- Re: the opposite of the noexport tag, Uwe Brauer, 2023/10/23
- Re: the opposite of the noexport tag,
Uwe Brauer <=
- Re: the opposite of the noexport tag, Loris Bennett, 2023/10/23
- Re: the opposite of the noexport tag, Ihor Radchenko, 2023/10/24
- Re: the opposite of the noexport tag, Loris Bennett, 2023/10/24
- Re: the opposite of the noexport tag, Ihor Radchenko, 2023/10/24
- Re: the opposite of the noexport tag, Ihor Radchenko, 2023/10/25
- Re: the opposite of the noexport tag, Uwe Brauer, 2023/10/24
- Re: the opposite of the noexport tag, Bruno Barbier, 2023/10/22
- Re: the opposite of the noexport tag, Uwe Brauer, 2023/10/22
- Re: the opposite of the noexport tag, Bruno Barbier, 2023/10/22
- Re: the opposite of the noexport tag, Uwe Brauer, 2023/10/22