Hi Andries!
On 12/15/22 21:08, Andries E. Brouwer wrote:
On Thu, Dec 15, 2022 at 04:24:31PM +0100, Alejandro Colomar wrote:
Hi all!
I'm pleased to announce that there's a new branch in the git repository,
named 'prehistory', which covers exactly that.
Good! I have one question: did you prese
On Thu, Dec 15, 2022 at 04:24:31PM +0100, Alejandro Colomar wrote:
> Hi all!
>
> I'm pleased to announce that there's a new branch in the git repository,
> named 'prehistory', which covers exactly that.
Good! I have one question: did you preserve the time stamps?
> P.S.: Andries, do you know an
On 12/15/22 16:24, Alejandro Colomar wrote:
Hi all!
I'm pleased to announce that there's a new branch in the git repository, named
'prehistory', which covers exactly that. It is connected the the master branch
in a backwards-time-travel way, so that the tip of the branch is the oldest man
On 12/15/22 16:24, Alejandro Colomar wrote:
Hi all!
I'm pleased to announce that there's a new branch in the git repository, named
'prehistory', which covers exactly that. It is connected the the master branch
in a backwards-time-travel way, so that the tip of the branch is the oldest man
