[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Is this proper time format?
From: |
David Masterson |
Subject: |
Re: Is this proper time format? |
Date: |
Sat, 10 Jun 2023 23:20:15 -0700 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/27.1 (gnu/linux) |
Ihor Radchenko <yantar92@posteo.net> writes:
> David Masterson <dsmasterson@gmail.com> writes:
>
>>>> Maybe I'm not explicit enough. In section 8.1 of the Org 9.6 manual is
>>>> a subsection "Time/Date Range" that *implies* times are supported in
>>>> ranges by the use of words "time" and "timestamp" when, above, you're
>>>> saying they are undefined (unsupported?) for now. I'm merely saying
>>>> adjust the manual to remove the implication.
>>>
>>> Please check the manual from main branch of Org. It has more text:
>>
>> I disagree. I cloned Org from Savannah and made the attached patch
>> file from the main branch. First time for me attaching a file to a
>> message. Does it work for you?
>
> Yes. Though it would be better to attach the diff with proper (.diff or
> .patch) extension.
I've updated my patch file taking into account what you mentioned and
what I tested. Does this look all right?
patch_file.diff
Description: Patch of Org-Guide and Org-Manual
--
David Masterson
- Re: Is this proper time format?, (continued)
- Re: Is this proper time format?, David Masterson, 2023/06/07
- Re: Is this proper time format?, Ihor Radchenko, 2023/06/08
- Re: Is this proper time format?, David Masterson, 2023/06/08
- Re: Is this proper time format?, Ihor Radchenko, 2023/06/09
- Re: Is this proper time format?, David Masterson, 2023/06/09
- Re: Is this proper time format?, Ihor Radchenko, 2023/06/10
- Re: Is this proper time format?, David Masterson, 2023/06/10
- Re: Is this proper time format?, Ihor Radchenko, 2023/06/11
- Re: Is this proper time format?, David Masterson, 2023/06/11
- Re: Is this proper time format?, Ihor Radchenko, 2023/06/12
- Re: Is this proper time format?,
David Masterson <=
- Re: Is this proper time format?, Ihor Radchenko, 2023/06/11
- Re: Is this proper time format?, David Masterson, 2023/06/11
- Re: Is this proper time format?, Ihor Radchenko, 2023/06/12
- Re: Is this proper time format?, David Masterson, 2023/06/12
- Re: Is this proper time format?, Ihor Radchenko, 2023/06/13
- Re: Is this proper time format?, David Masterson, 2023/06/14
- Re: Is this proper time format?, Ihor Radchenko, 2023/06/14
- Re: Is this proper time format?, David Masterson, 2023/06/14
- Re: Is this proper time format?, Ihor Radchenko, 2023/06/15
- Re: Is this proper time format?, David Masterson, 2023/06/15