Hi all,
I cross-post this to user- and devel-list:
The unapproved LSR-snippet:
https://lsr.di.unimi.it/LSR/Item?u=1&id=1122
basically duplicates the doc-tagged:
https://lsr.di.unimi.it/LSR/Snippet?id=266
If nobody speaks up I'll delete it soon.
Cheers,
Harm
Am So., 7. März 2021 um 13:11 Uhr schrieb Thomas Morley
:
>
> Hi all,
>
> I cross-post this to user- and devel-list:
>
> The unapproved LSR-snippet:
> https://lsr.di.unimi.it/LSR/Item?u=1&id=1122
> basically duplicates the doc-tagged:
> https://lsr.di.unimi.it/LSR/Snippet?id=266
>
> If nobody speak