On Sun, 9 Apr 2023 16:43:45 +0200 Benoît-Pierre Demaine
said:
> On 08/04/2023 10:44, Carsten Haitzler wrote:
> > On Sat, 8 Apr 2023 00:19:28 +0200 Benoît-Pierre Demaine
> > said:
> >
> >> * focus:
> >>
> >> https://drive.google.com/file/d/1BS-HXiKLVZoj0x5pMyzq-cquBzgPxjek/view?usp=sharing
> >
On 08/04/2023 10:44, Carsten Haitzler wrote:
On Sat, 8 Apr 2023 00:19:28 +0200 Benoît-Pierre Demaine
said:
* focus:
https://drive.google.com/file/d/1BS-HXiKLVZoj0x5pMyzq-cquBzgPxjek/view?usp=sharing
waaait - what version of e is that?
Took me 3 days to find:
- not said in --version
- in